1.1 --- a/rt/emul/mini/src/main/java/java/lang/String.java	Sat Sep 28 02:43:18 2013 +0200
     1.2 +++ b/rt/emul/mini/src/main/java/java/lang/String.java	Sat Sep 28 20:54:50 2013 +0200
     1.3 @@ -28,7 +28,6 @@
     1.4  import java.io.UnsupportedEncodingException;
     1.5  import java.util.Comparator;
     1.6  import java.util.Locale;
     1.7 -import java.util.Objects;
     1.8  import org.apidesign.bck2brwsr.core.ExtraJavaScript;
     1.9  import org.apidesign.bck2brwsr.core.JavaScriptBody;
    1.10  import org.apidesign.bck2brwsr.core.JavaScriptOnly;
    1.11 @@ -2898,7 +2897,8 @@
    1.12      public static String format(Locale l, String format, Object ... args) {
    1.13          String p = format;
    1.14          for (int i = 0; i < args.length; i++) {
    1.15 -            p = p.replaceFirst("%s", Objects.toString(args[i]));
    1.16 +            String v = args[i] == null ? "null" : args[i].toString();
    1.17 +            p = p.replaceFirst("%s", v);
    1.18          }
    1.19          return p;
    1.20          // return new Formatter(l).format(format, args).toString();