1.1 --- a/rt/vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java	Mon Mar 25 13:33:03 2013 +0100
     1.2 +++ b/rt/vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java	Wed Apr 10 10:08:18 2013 +0200
     1.3 @@ -1940,7 +1940,7 @@
     1.4          final String type = jc.getClassName(indx);
     1.5          if (!type.startsWith("[")) {
     1.6              emit(out,
     1.7 -                 "if (@1 !== null && !@1.$instOf_@2) throw {};",
     1.8 +                 "if (@1 !== null && !@1.$instOf_@2) throw vm.java_lang_ClassCastException(true);",
     1.9                   smapper.getA(0), type.replace('/', '_'));
    1.10          } else {
    1.11              emit(out, "vm.java_lang_Class(false).forName__Ljava_lang_Class_2Ljava_lang_String_2('@2').cast__Ljava_lang_Object_2Ljava_lang_Object_2(@1);",