tautschnig
diff --git a/‎jbmc/regression/jbmc/classpath1/my_cp/test2.class renamed to ‎jbmc/regression/jbmc/classpath-class-with-two-dirs/my_cp/test2.class b/‎jbmc/regression/jbmc/classpath1/my_cp/test2.class renamed to ‎jbmc/regression/jbmc/classpath-class-with-two-dirs/my_cp/test2.class
diff --git a/‎jbmc/regression/jbmc/classpath1/my_cp/test2.java renamed to ‎jbmc/regression/jbmc/classpath-class-with-two-dirs/my_cp/test2.java b/‎jbmc/regression/jbmc/classpath1/my_cp/test2.java renamed to ‎jbmc/regression/jbmc/classpath-class-with-two-dirs/my_cp/test2.java
diff --git a/‎jbmc/regression/jbmc/classpath1/test.class renamed to ‎jbmc/regression/jbmc/classpath-class-with-two-dirs/test.class b/‎jbmc/regression/jbmc/classpath1/test.class renamed to ‎jbmc/regression/jbmc/classpath-class-with-two-dirs/test.class
diff --git a/‎jbmc/regression/jbmc/classpath1/test.desc renamed to ‎jbmc/regression/jbmc/classpath-class-with-two-dirs/test.desc b/‎jbmc/regression/jbmc/classpath1/test.desc renamed to ‎jbmc/regression/jbmc/classpath-class-with-two-dirs/test.desc
diff --git a/‎jbmc/regression/jbmc/classpath1/test.java renamed to ‎jbmc/regression/jbmc/classpath-class-with-two-dirs/test.java b/‎jbmc/regression/jbmc/classpath1/test.java renamed to ‎jbmc/regression/jbmc/classpath-class-with-two-dirs/test.java
diff --git a/‎jbmc/regression/jbmc/invalid_classpath/Test.class renamed to ‎jbmc/regression/jbmc/classpath-invalid/Test.class b/‎jbmc/regression/jbmc/invalid_classpath/Test.class renamed to ‎jbmc/regression/jbmc/classpath-invalid/Test.class
diff --git a/‎jbmc/regression/jbmc/invalid_classpath/Test.java renamed to ‎jbmc/regression/jbmc/classpath-invalid/Test.java b/‎jbmc/regression/jbmc/invalid_classpath/Test.java renamed to ‎jbmc/regression/jbmc/classpath-invalid/Test.java
diff --git a/‎jbmc/regression/jbmc/invalid_classpath/test-jar.desc renamed to ‎jbmc/regression/jbmc/classpath-invalid/test-jar.desc b/‎jbmc/regression/jbmc/invalid_classpath/test-jar.desc renamed to ‎jbmc/regression/jbmc/classpath-invalid/test-jar.desc
diff --git a/‎jbmc/regression/jbmc/invalid_classpath/test-path.desc renamed to ‎jbmc/regression/jbmc/classpath-invalid/test-path.desc b/‎jbmc/regression/jbmc/invalid_classpath/test-path.desc renamed to ‎jbmc/regression/jbmc/classpath-invalid/test-path.desc
diff --git a/‎jbmc/regression/jbmc/jar-file2/jar-file2.jar renamed to ‎jbmc/regression/jbmc/classpath-jar-main-class/jar-file2.jar b/‎jbmc/regression/jbmc/jar-file2/jar-file2.jar renamed to ‎jbmc/regression/jbmc/classpath-jar-main-class/jar-file2.jar
diff --git a/‎jbmc/regression/jbmc/jar-file2/some_class.java renamed to ‎jbmc/regression/jbmc/classpath-jar-main-class/some_class.java b/‎jbmc/regression/jbmc/jar-file2/some_class.java renamed to ‎jbmc/regression/jbmc/classpath-jar-main-class/some_class.java
diff --git a/‎jbmc/regression/jbmc/jar-file2/test.desc renamed to ‎jbmc/regression/jbmc/classpath-jar-main-class/test.desc b/‎jbmc/regression/jbmc/jar-file2/test.desc renamed to ‎jbmc/regression/jbmc/classpath-jar-main-class/test.desc
diff --git a/‎jbmc/regression/jbmc/jar-file3/A.jar renamed to ‎jbmc/regression/jbmc/classpath-jar-with-two-jars/A.jar b/‎jbmc/regression/jbmc/jar-file3/A.jar renamed to ‎jbmc/regression/jbmc/classpath-jar-with-two-jars/A.jar
diff --git a/‎jbmc/regression/jbmc/jar-file3/B.jar renamed to ‎jbmc/regression/jbmc/classpath-jar-with-two-jars/B.jar b/‎jbmc/regression/jbmc/jar-file3/B.jar renamed to ‎jbmc/regression/jbmc/classpath-jar-with-two-jars/B.jar
diff --git a/‎jbmc/regression/jbmc/jar-file3/C.jar renamed to ‎jbmc/regression/jbmc/classpath-jar-with-two-jars/C.jar b/‎jbmc/regression/jbmc/jar-file3/C.jar renamed to ‎jbmc/regression/jbmc/classpath-jar-with-two-jars/C.jar
diff --git a/‎jbmc/regression/jbmc/classpath2/jarfile3.class renamed to ‎jbmc/regression/jbmc/classpath-jar-with-two-jars/jarfile3.class b/‎jbmc/regression/jbmc/classpath2/jarfile3.class renamed to ‎jbmc/regression/jbmc/classpath-jar-with-two-jars/jarfile3.class
diff --git a/‎jbmc/regression/jbmc/classpath2/jarfile3.java renamed to ‎jbmc/regression/jbmc/classpath-jar-with-two-jars/jarfile3.java b/‎jbmc/regression/jbmc/classpath2/jarfile3.java renamed to ‎jbmc/regression/jbmc/classpath-jar-with-two-jars/jarfile3.java
diff --git a/‎jbmc/regression/jbmc/jar-file3/test.desc renamed to ‎jbmc/regression/jbmc/classpath-jar-with-two-jars/test.desc b/‎jbmc/regression/jbmc/jar-file3/test.desc renamed to ‎jbmc/regression/jbmc/classpath-jar-with-two-jars/test.desc
diff --git a/‎jbmc/regression/jbmc/jar-file1/some_jar.jar renamed to ‎jbmc/regression/jbmc/classpath-jar/some_jar.jar b/‎jbmc/regression/jbmc/jar-file1/some_jar.jar renamed to ‎jbmc/regression/jbmc/classpath-jar/some_jar.jar
diff --git a/‎jbmc/regression/jbmc/jar-file1/test.desc renamed to ‎jbmc/regression/jbmc/classpath-jar/test.desc b/‎jbmc/regression/jbmc/jar-file1/test.desc renamed to ‎jbmc/regression/jbmc/classpath-jar/test.desc
diff --git a/‎jbmc/regression/jbmc/jar-file4/A.jar renamed to ‎jbmc/regression/jbmc/cp-include-path-json/A.jar b/‎jbmc/regression/jbmc/jar-file4/A.jar renamed to ‎jbmc/regression/jbmc/cp-include-path-json/A.jar
diff --git a/‎jbmc/regression/jbmc/jar-file4/B.jar renamed to ‎jbmc/regression/jbmc/cp-include-path-json/B.jar b/‎jbmc/regression/jbmc/jar-file4/B.jar renamed to ‎jbmc/regression/jbmc/cp-include-path-json/B.jar
diff --git a/‎jbmc/regression/jbmc/jar-file4/C.jar renamed to ‎jbmc/regression/jbmc/cp-include-path-json/C.jar b/‎jbmc/regression/jbmc/jar-file4/C.jar renamed to ‎jbmc/regression/jbmc/cp-include-path-json/C.jar
diff --git a/‎jbmc/regression/jbmc/jar-file4/jar.json renamed to ‎jbmc/regression/jbmc/cp-include-path-json/jar.json b/‎jbmc/regression/jbmc/jar-file4/jar.json renamed to ‎jbmc/regression/jbmc/cp-include-path-json/jar.json
diff --git a/‎jbmc/regression/jbmc/jar-file4/test.desc renamed to ‎jbmc/regression/jbmc/cp-include-path-json/test.desc b/‎jbmc/regression/jbmc/jar-file4/test.desc renamed to ‎jbmc/regression/jbmc/cp-include-path-json/test.desc
diff --git a/‎jbmc/regression/jbmc/classpath2/jarfile3$A.class renamed to ‎jbmc/regression/jbmc/cp-include-path/jarfile3$A.class b/‎jbmc/regression/jbmc/classpath2/jarfile3$A.class renamed to ‎jbmc/regression/jbmc/cp-include-path/jarfile3$A.class
diff --git a/‎jbmc/regression/jbmc/classpath2/jarfile3$B.class renamed to ‎jbmc/regression/jbmc/cp-include-path/jarfile3$B.class b/‎jbmc/regression/jbmc/classpath2/jarfile3$B.class renamed to ‎jbmc/regression/jbmc/cp-include-path/jarfile3$B.class
diff --git a/‎jbmc/regression/jbmc/jar-file3/jarfile3.class renamed to ‎jbmc/regression/jbmc/cp-include-path/jarfile3.class b/‎jbmc/regression/jbmc/jar-file3/jarfile3.class renamed to ‎jbmc/regression/jbmc/cp-include-path/jarfile3.class
diff --git a/‎jbmc/regression/jbmc/jar-file3/jarfile3.java renamed to ‎jbmc/regression/jbmc/cp-include-path/jarfile3.java b/‎jbmc/regression/jbmc/jar-file3/jarfile3.java renamed to ‎jbmc/regression/jbmc/cp-include-path/jarfile3.java
diff --git a/‎jbmc/regression/jbmc/classpath2/test.desc renamed to ‎jbmc/regression/jbmc/cp-include-path/test.desc b/‎jbmc/regression/jbmc/classpath2/test.desc renamed to ‎jbmc/regression/jbmc/cp-include-path/test.desc