1.1 --- a/vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java	Tue Feb 05 16:40:01 2013 +0100
     1.2 +++ b/vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java	Tue Feb 05 17:04:22 2013 +0100
     1.3 @@ -1278,7 +1278,7 @@
     1.4                      int indx = readIntArg(byteCodes, i);
     1.5                      final String type = jc.getClassName(indx);
     1.6                      if (!type.startsWith("[")) {
     1.7 -                        emit(out, "var @2 = @1.$instOf_@3 ? 1 : 0;",
     1.8 +                        emit(out, "var @2 = @1 != null && @1.$instOf_@3 ? 1 : 0;",
     1.9                               smapper.popA(), smapper.pushI(),
    1.10                               type.replace('/', '_'));
    1.11                      } else {