On Fri, 2023-09-01 at 12:32 +1000, David Holmes wrote: > Sounds familiar ... > > https://bugs.openjdk.org/browse/JDK-8261656 ? Gives me: """ You can't view this issue """ :-( Thanks, Severin