>> Since yesterday the jdk repositories seem not to be reachable. hg pull >> quits with 500, the web interface with some server side python error. This is resolved. Please let us know on ops at openjdk.java.net if any problems continue. Tim