diff -r 91d9fa810a43 -r 48de24658490 rt/emul/mini/src/main/java/java/lang/Double.java
--- a/rt/emul/mini/src/main/java/java/lang/Double.java	Sat Mar 09 15:29:57 2013 +0100
+++ b/rt/emul/mini/src/main/java/java/lang/Double.java	Fri Jul 12 16:05:33 2013 +0200
@@ -502,10 +502,8 @@
      * @throws     NumberFormatException  if the string does not contain a
      *             parsable number.
      */
-    @JavaScriptBody(args="s", body="return parseFloat(s);")
     public static Double valueOf(String s) throws NumberFormatException {
-        throw new UnsupportedOperationException();
-//        return new Double(FloatingDecimal.readJavaFormatString(s).doubleValue());
+        return new Double(parseDouble(s));
     }
 
     /**