diff --git a/regression/cbmc-java/jar-file1/test.desc b/regression/cbmc-java/jar-file1/test.desc
index 0203b47faa..b50d83b864 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 a40daf9fb5..fb9e05dad2 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