Update unit tests to use java_method_typet

Author: jeannielynnmoulton

jbmc/unit/java_bytecode/goto-programs/remove_virtual_functions_without_fallback.cpp

@@ -7,6 +7,8 @@
 
 \*******************************************************************/
 
+#include "java_types.h"
+
 #include <testing-utils/catch.hpp>
 #include <java-testing-utils/load_java_class.h>
 

jbmc/unit/util/parameter_indices.cpp

@@ -6,9 +6,10 @@
 
 \*******************************************************************/
 
-#include <java-testing-utils/load_java_class.h>
+#include "java_types.h"
+
 #include <testing-utils/catch.hpp>
-#include <util/std_types.h>
+#include <java-testing-utils/load_java_class.h>
 
 void check_consistency(const symbolt &symbol)
 {