rename the test on null pointers

Author: Daniel Kroening

regression/cbmc-java/missing_class1/A.class renamed to regression/cbmc-java/NullPointer1/A.class

@@ -7,10 +7,13 @@ class A {
   B b;
 }
 
-public class missing_class1 {
-  public static void main(String[] args) {
+public class NullPointer1 {
+
+  public static void main(String[] args)
+  {
     A a = new A();
     B b = a.b;
     int j = b.j; // NULL pointer dereference
   }
+
 }

regression/cbmc-java/missing_class1/missing_class1.class renamed to regression/cbmc-java/NullPointer1/NullPointer1.class

@@ -1,5 +1,5 @@
 CORE
-missing_class1.class
+NullPointer1.class
 --pointer-check
 ^EXIT=10$
 ^SIGNAL=0$