On 09.04.2021 20:33, Tilman Hausherr wrote:
It has been accepted as a java bughttps://bugs.openjdk.java.net/browse/JDK-8264999
(cc to you) It has been fixed, but only for jdk20 and higher. Tilman --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
