Adapt jbmc unit tests to use java_object_factory_parameterst

Author: danpoe

jbmc/unit/java_bytecode/java_object_factory/gen_nondet_string_init.cpp

@@ -46,7 +46,7 @@ SCENARIO(
     symbol_typet java_string_type("java::java.lang.String");
     symbol_exprt expr("arg", java_string_type);
 
-    object_factory_parameterst object_factory_parameters;
+    java_object_factory_parameterst object_factory_parameters;
     object_factory_parameters.max_nondet_string_length = 20;
     object_factory_parameters.function_id = "test";
 

jbmc/unit/java_bytecode/java_replace_nondet/replace_nondet.cpp

@@ -16,7 +16,7 @@
 #include <goto-programs/remove_returns.h>
 
 #include <java_bytecode/convert_java_nondet.h>
-#include <java_bytecode/object_factory_parameters.h>
+#include <java_bytecode/java_object_factory_parameters.h>
 #include <java_bytecode/remove_instanceof.h>
 #include <java_bytecode/replace_java_nondet.h>
 
@@ -166,7 +166,7 @@ void load_and_test_method(
     validate_nondet_method_removed(goto_function.body.instructions);
   }
 
-  object_factory_parameterst params{};
+  java_object_factory_parameterst params{};
 
   THEN(
     "Replace and convert nondet should work after remove returns has been "