diff --git a/regression/cbmc-java/classtest1/classtest1.class b/regression/cbmc-java/classtest1/classtest1.class
new file mode 100644
index 00000000000..e105964df91
Binary files /dev/null and b/regression/cbmc-java/classtest1/classtest1.class differ
diff --git a/regression/cbmc-java/classtest1/classtest1.java b/regression/cbmc-java/classtest1/classtest1.java
new file mode 100644
index 00000000000..532926c474d
--- /dev/null
+++ b/regression/cbmc-java/classtest1/classtest1.java
@@ -0,0 +1,11 @@
+public class classtest1
+{
+  static void main(String[] args)
+  {
+    g(classtest1.class);
+  }
+  static void g(Object c)
+  {
+    assert true;
+  }
+}
diff --git a/regression/cbmc-java/classtest1/test.desc b/regression/cbmc-java/classtest1/test.desc
new file mode 100644
index 00000000000..f56857c7bf6
--- /dev/null
+++ b/regression/cbmc-java/classtest1/test.desc
@@ -0,0 +1,8 @@
+CORE
+classtest1.class
+
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+^warning: ignoring
diff --git a/src/java_bytecode/java_class_loader.cpp b/src/java_bytecode/java_class_loader.cpp
index c8e6bbf5bb4..db5f63b08b9 100644
--- a/src/java_bytecode/java_class_loader.cpp
+++ b/src/java_bytecode/java_class_loader.cpp
@@ -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())