The OpenJDK db, cr, hg, and mail domains, as well as the root openjdk.java.net domain, will be down briefly later today for an OS upgrade. Expect degraded service from 17:30-19:00 PDT (00:30-02:00 UTC). - Mark