On 6/13/19 5:44 PM, Roman Kennke wrote: > So removing it altogether would be fine and harmless? Or, asking more precisely, this would be the good RFE? https://bugs.openjdk.java.net/browse/JDK-8225743 -Aleksey