test now passes

Author: Daniel Kroening

regression/cbmc-java/package_friendly1/test.desc

@@ -1,10 +1,10 @@
-KNOWNBUG
+CORE
 main.class
 package_friendly1.class package_friendly2.class --show-goto-functions
 ^main[.]main[(][)].*$
 ^package_friendly1[.]operation1[(][)].*$
 ^package_friendly2[.]operation2[(][)].*$
-^EXIT=6$
+^EXIT=0$
 ^SIGNAL=0$
 --
 ^warning: ignoring