1.1 --- a/vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java	Sat Jan 26 08:47:05 2013 +0100
     1.2 +++ b/vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java	Fri Feb 01 15:19:16 2013 +0100
     1.3 @@ -1269,7 +1269,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 {