Bugfix: Java symbol types must have mode ID_java

Author: peterschrammel

src/java_bytecode/java_bytecode_typecheck_type.cpp

@@ -57,5 +57,6 @@ void java_bytecode_typecheckt::typecheck_type_symbol(symbolt &symbol)
 {
   assert(symbol.is_type);
 
+  symbol.mode = ID_java;
   typecheck_type(symbol.type);
 }

src/java_bytecode/java_string_library_preprocess.cpp

@@ -247,6 +247,7 @@ void java_string_library_preprocesst::add_string_type(
   string_symbol->pretty_name=id2string(class_name);
   string_symbol->type=string_type;
   string_symbol->is_type=true;
+  string_symbol->mode = ID_java;
 }
 
 /// add a symbol in the table with static lifetime and name containing