Turning back on regression tests

Author: svorenova

regression/cbmc-java/enum1/test.desc

@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 enum1.class
 --java-unwind-enum-static --unwind 3
 ^VERIFICATION SUCCESSFUL$
@@ -7,5 +7,3 @@ enum1.class
 ^Unwinding loop java::enum1.<clinit>:\(\)V.0 iteration 5 \(6 max\) file enum1.java line 6 function java::enum1.<clinit>:\(\)V bytecode-index 78 thread 0$
 --
 ^warning: ignoring
---
-cf. https://diffblue.atlassian.net/browse/TG-611

regression/cbmc-java/iterator2/test.desc

@@ -1,10 +1,8 @@
-KNOWNBUG
+CORE
 iterator2.class
 --cover location --unwind 3 --function iterator2.f
 ^EXIT=0$
 ^SIGNAL=0$
 ^.*SATISFIED$
 --
 ^warning: ignoring
---
-https://diffblue.atlassian.net/browse/TG-610

regression/cbmc-java/lvt-groovy/test.desc

@@ -1,8 +1,7 @@
-KNOWNBUG
+CORE
 DetectSplitPackagesTask.class
 --show-symbol-table
 ^EXIT=0$
 ^SIGNAL=0$
 --
 --
-cf. https://diffblue.atlassian.net/browse/TG-610