Fix broken test descriptions

smowton · smowton · commit 42e8e3d0d0cc · 2018-03-21T17:26:27.000Z
diff --git a/regression/cbmc-java/exceptions26/test.desc b/regression/cbmc-java/exceptions26/test.desc
@@ -1,5 +1,6 @@
 CORE
 test.class
+
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring
diff --git a/regression/cbmc-java/exceptions27/test.desc b/regression/cbmc-java/exceptions27/test.desc
@@ -1,5 +1,6 @@
 CORE
 test.class
+
 VERIFICATION SUCCESSFUL
 --
 ^warning: ignoring
