Merge pull request diffblue#5107 from thomasspriggs/tas/alternative-loading-compatibility-minimal

Minor java loading changes to support alternative loading strategies

Author: thomasspriggs

jbmc/src/java_bytecode/ci_lazy_methods_needed.h

@@ -27,7 +27,7 @@ class ci_lazy_methods_neededt
   ci_lazy_methods_neededt(
     std::unordered_set<irep_idt> &_callable_methods,
     std::unordered_set<irep_idt> &_instantiated_classes,
-    symbol_tablet &_symbol_table,
+    const symbol_tablet &_symbol_table,
     const select_pointer_typet &pointer_type_selector)
     : callable_methods(_callable_methods),
       instantiated_classes(_instantiated_classes),
@@ -52,7 +52,7 @@ class ci_lazy_methods_neededt
   // found so far, so we can use a membership test to avoid
   // repeatedly exploring a class hierarchy.
   std::unordered_set<irep_idt> &instantiated_classes;
-  symbol_tablet &symbol_table;
+  const symbol_tablet &symbol_table;
 
   const select_pointer_typet &pointer_type_selector;