Merge pull request #4782 from pkesseli/bugfix/remove-legacy-id

Remove unused local variable

Author: tautschnig

jbmc/src/java_bytecode/java_entry_point.cpp

@@ -510,9 +510,6 @@ main_function_resultt get_main_symbol(
   // find main symbol
   if(config.main.has_value())
   {
-    // Add java:: prefix
-    std::string main_identifier = "java::" + config.main.value();
-
     std::string error_message;
     irep_idt main_symbol_id = resolve_friendly_method_name(
       config.main.value(), symbol_table, error_message);