On Fri, 4 Dec 2020 02:49:07 GMT, Sergey Bylokhov <serb at openjdk.org> wrote: > Maybe it is better to change the used file hierarchy? That probably a good idea. Uploading a new fix version. ------------- PR: https://git.openjdk.java.net/jdk/pull/1549