2013/1/7 9:14 -0800, pranav.bhat at oracle.com: > Is this resolved yet? Still setting some pull issues; not sure if they > are related though! Yes, all the openjdk.java.net servers are now up and running. - Mark