bool java_bytecode_convert_class(const java_bytecode_parse_treet &parse_tree, symbol_tablet &symbol_table, message_handlert &message_handler, size_t max_array_length, lazy_methodst &, lazy_methods_modet, bool string_refinement_enabled, const character_refine_preprocesst &character_preprocess)