On 22/11/2018 17:52, Oleg Golberg wrote: > Doesn't look like https://bugs.openjdk.java.net allows anonymous bug > reports. Is there somewhere else I should file this? > You you submit it via bugs.java.com then it will be routed to the Java Bug System. -Alan