FYI: An OpenJDK bug regarding this has now been opened as well: https://bugs.openjdk.org/browse/JDK-8307977 -- Best regards, Per
__ This is the maintainer address of Debian's Java team <https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use [email protected] for discussions and questions.
