In jtreg 7, we have changed the convention for naming imported libraries, from using a fixed name, to using the "natural" name of the imported jar.

A side-effect is that tests should not assume a fixed name for these libraries.

For those tests that need to know the path/URL of a library jar file, we should document how to locate the jar file, such as by using ProtectionDomain and CodeSource.