Fix diffblue#113: always try to load java.lang.Object, as internal types such as arrays refer to it.

(Though of course normally we expect that to make a stub, not an elaborated class)

Author: smowton

src/java_bytecode/java_class_loader.cpp

@@ -34,7 +34,10 @@ java_bytecode_parse_treet &java_class_loadert::operator()(
   const irep_idt &class_name)
 {
   std::stack<irep_idt> queue;
-  
+
+  // Always require java.lang.Object, as it is the base of
+  // internal classes such as array types.
+  queue.push("java.lang.Object");
   queue.push(class_name);
 
   while(!queue.empty())