1.1 --- a/vm/src/main/java/org/apidesign/vm4brwsr/GenJS.java	Tue Oct 09 18:47:42 2012 -0700
     1.2 +++ b/vm/src/main/java/org/apidesign/vm4brwsr/GenJS.java	Tue Oct 16 11:55:56 2012 +0200
     1.3 @@ -58,8 +58,11 @@
     1.4                  if (name.startsWith("java/")
     1.5                      && !name.equals("java/lang/Object")
     1.6                      && !name.equals("java/lang/Class")
     1.7 +                    && !name.equals("java/lang/Math")
     1.8                      && !name.equals("java/lang/Number")
     1.9                      && !name.equals("java/lang/Integer")
    1.10 +                    && !name.equals("java/lang/Float")
    1.11 +                    && !name.equals("java/lang/Double")
    1.12                      && !name.equals("java/lang/Throwable")
    1.13                      && !name.equals("java/lang/Exception")
    1.14                      && !name.equals("java/lang/RuntimeException")
    1.15 @@ -116,7 +119,6 @@
    1.16                  }
    1.17              }
    1.18          }
    1.19 -        
    1.20      }
    1.21      private static void readResource(InputStream emul, Appendable out) throws IOException {
    1.22          try {