adds java.lang.Class to load queue

java.lang.Class can be used without explicit reference (cf. regression test
classtest1), therefore it has to be added explicitly to the loading queue.

Author: Matthias Güdemann

regression/cbmc-java/classtest1/classtest1.class

@@ -0,0 +1,11 @@
+public class classtest1
+{
+  static void main(String[] args)
+  {
+    g(classtest1.class);
+  }
+  static void g(Object c)
+  {
+    assert true;
+  }
+}

regression/cbmc-java/classtest1/classtest1.java

@@ -0,0 +1,8 @@
+CORE
+classtest1.class
+
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+^warning: ignoring

regression/cbmc-java/classtest1/test.desc

@@ -40,6 +40,8 @@ java_bytecode_parse_treet &java_class_loadert::operator()(
   queue.push("java.lang.Object");
   // java.lang.String
   queue.push("java.lang.String");
+  // add java.lang.Class
+  queue.push("java.lang.Class");
   queue.push(class_name);
 
   while(!queue.empty())