smowton
diff --git a/‎regression/cbmc-java/NegativeArraySizeException/NegativeArraySizeExceptionTest.class renamed to ‎regression/cbmc-java/NegativeArraySizeException1/NegativeArraySizeExceptionTest.class b/‎regression/cbmc-java/NegativeArraySizeException/NegativeArraySizeExceptionTest.class renamed to ‎regression/cbmc-java/NegativeArraySizeException1/NegativeArraySizeExceptionTest.class
diff --git a/‎regression/cbmc-java/NegativeArraySizeException/NegativeArraySizeExceptionTest.java renamed to ‎regression/cbmc-java/NegativeArraySizeException1/NegativeArraySizeExceptionTest.java b/‎regression/cbmc-java/NegativeArraySizeException/NegativeArraySizeExceptionTest.java renamed to ‎regression/cbmc-java/NegativeArraySizeException1/NegativeArraySizeExceptionTest.java
diff --git a/‎regression/cbmc-java/NegativeArraySizeException/test.desc renamed to ‎regression/cbmc-java/NegativeArraySizeException1/test.desc b/‎regression/cbmc-java/NegativeArraySizeException/test.desc renamed to ‎regression/cbmc-java/NegativeArraySizeException1/test.desc