Expected result: No NPE
StackTrace:
88) test450(RandoopTest0)java.lang.NullPointerException
at org.gjt.sp.jedit.syntax.TokenMarker.markTokens(TokenMarker.java:120)
at RandoopTest0.test450(RandoopTest0.java:8709)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)