RFR: 7903775: Add LIBRARY.properties

[Jonathan Gibbons]

On Thu, 11 Jul 2024 08:05:16 GMT, Christian Stein <cstein at openjdk.org> wrote:

> Initial implementation adding support for `LIBRARY.properties`.

Looks good so far

We will (eventually) need an update to the tag-spec, if we like the way this feature is working out.

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

PR Review: https://git.openjdk.org/jtreg/pull/212#pullrequestreview-2173104441
PR Comment: https://git.openjdk.org/jtreg/pull/212#issuecomment-2224014419