[crac] Integrated: JDKResource priorities

[Alexey Bakhtin]

On Mon, 20 Dec 2021 15:39:03 GMT, Alexey Bakhtin <abakhtin at openjdk.org> wrote:

> Added priority enumeration for the JDK resources
> It will allow better handling the order of checkpoint notifications for dependent resources

This pull request has now been integrated.

Changeset: c9fe73ee
Author:    Alexey Bakhtin <abakhtin at openjdk.org>
Committer: Dan Heidinga <heidinga at openjdk.org>
URL:       https://git.openjdk.java.net/crac/commit/c9fe73eec187d436bdd1efb1bcc7448ccd140e1f
Stats:     41 lines in 6 files changed: 31 ins; 0 del; 10 mod

JDKResource priorities

Reviewed-by: akozlov, heidinga

-------------

PR: https://git.openjdk.java.net/crac/pull/8