2011/12/2 7:40 -0800, dalibor.topic at oracle.com: > Please ask on web-discuss, as that's where infrastructure questions > should go. No, infrastructure problems should be reported to ops at openjdk.java.net. (I already fixed Erik's problem.) - Mark