smowton
diff --git a/‎regression/cbmc-java/NondetInitValidate/Test.class renamed to ‎regression/cbmc-java/NondetInit/Test.class b/‎regression/cbmc-java/NondetInitValidate/Test.class renamed to ‎regression/cbmc-java/NondetInit/Test.class
diff --git a/‎regression/cbmc-java/NondetInitValidate/Test.java renamed to ‎regression/cbmc-java/NondetInit/Test.java b/‎regression/cbmc-java/NondetInitValidate/Test.java renamed to ‎regression/cbmc-java/NondetInit/Test.java
diff --git a/‎regression/cbmc-java/NondetInitValidate/test.desc renamed to ‎regression/cbmc-java/NondetInit/test.desc b/‎regression/cbmc-java/NondetInitValidate/test.desc renamed to ‎regression/cbmc-java/NondetInit/test.desc
diff --git a/‎regression/cbmc-java/NondetInitValidate/test_lazy.desc renamed to ‎regression/cbmc-java/NondetInit/test_lazy.desc b/‎regression/cbmc-java/NondetInitValidate/test_lazy.desc renamed to ‎regression/cbmc-java/NondetInit/test_lazy.desc