CORE
NullPointer1.class
--stop-on-fail
^EXIT=10$
^SIGNAL=0$
^  file NullPointer1\.java function NullPointer1\.main\(java\.lang\.String\[\]\) line 16 thread 0$
^VERIFICATION FAILED$
--
^warning: ignoring
