Hi all, Since yesterday the jdk repositories seem not to be reachable. hg pull quits with 500, the web interface with some server side python error. Any ideas? Did I miss some maintenance anouncement? Thanks, Thomas