1.1 --- a/rt/emul/mini/src/main/java/java/lang/Double.java	Sat Mar 09 15:29:57 2013 +0100
     1.2 +++ b/rt/emul/mini/src/main/java/java/lang/Double.java	Fri Jul 12 16:05:33 2013 +0200
     1.3 @@ -502,10 +502,8 @@
     1.4       * @throws     NumberFormatException  if the string does not contain a
     1.5       *             parsable number.
     1.6       */
     1.7 -    @JavaScriptBody(args="s", body="return parseFloat(s);")
     1.8      public static Double valueOf(String s) throws NumberFormatException {
     1.9 -        throw new UnsupportedOperationException();
    1.10 -//        return new Double(FloatingDecimal.readJavaFormatString(s).doubleValue());
    1.11 +        return new Double(parseDouble(s));
    1.12      }
    1.13  
    1.14      /**