The hosting team has completed their repair work. All OpenJDK servers are up and running normally. Please report any problems to ops at openjdk.java.net. - Mark