diff --git a/regression/cbmc-java/jar-file1/test.desc b/regression/cbmc-java/jar-file1/test.desc
index 0203b47faa3..b50d83b8645 100644
--- a/regression/cbmc-java/jar-file1/test.desc
+++ b/regression/cbmc-java/jar-file1/test.desc
@@ -1,8 +1,8 @@
 CORE
 some_jar.jar
 
-^EXIT=0$
+^EXIT=\(0\|6\)$
 ^SIGNAL=0$
-^VERIFICATION SUCCESSFUL$
+^\(VERIFICATION SUCCESSFUL\|No support for reading JAR files\)$
 --
 ^warning: ignoring
diff --git a/regression/cbmc-java/jar-file2/test.desc b/regression/cbmc-java/jar-file2/test.desc
index a40daf9fb5f..fb9e05dad2c 100644
--- a/regression/cbmc-java/jar-file2/test.desc
+++ b/regression/cbmc-java/jar-file2/test.desc
@@ -1,8 +1,8 @@
 CORE
 jar-file2.jar
 --main-class some_class
-^EXIT=10$
+^EXIT=\(10\|6\)$
 ^SIGNAL=0$
-^VERIFICATION FAILED$
+^\(VERIFICATION FAILED\|No support for reading JAR files\)$
 --
 ^warning: ignoring