Hi all, cr.openjdk.java.net is not reachable at least from Germany since yesterday, does anyone know when it will be available again? Or who we should contact? Sorry if this is the wrong list. Thanks, Thomas