> Date: Mon, 19 May 2008 13:16:23 +0100 > From: christopher.hegarty at sun.com > The open JDK user database server seems to be down. Fixed. Not sure why it failed; still investigating. - Mark