Do not create stubs when resolving virtual methods

It is no longer necessary to do this here. Stubs are getting created
earlier, before method conversion.

Author: Owen Jones

src/java_bytecode/ci_lazy_methods.cpp

@@ -426,8 +426,6 @@ void ci_lazy_methodst::get_virtual_method_targets(
     !call_basename.empty(),
     "Virtual function must have a reasonable name after removing class");
 
-  auto old_size=callable_methods.size();
-
   const irep_idt &self_method=
     get_virtual_method_target(
       instantiated_classes, call_basename, call_class, symbol_table);
@@ -449,19 +447,6 @@ void ci_lazy_methodst::get_virtual_method_targets(
     if(!child_method.empty())
       callable_methods.push_back(child_method);
   }
-
-  if(callable_methods.size()==old_size)
-  {
-    // Didn't find any candidate callee. Generate a stub.
-    std::string stubname=id2string(call_class)+"."+id2string(call_basename);
-    symbolt symbol;
-    symbol.name=stubname;
-    symbol.base_name=call_basename;
-    symbol.type=c.function().type();
-    symbol.value.make_nil();
-    symbol.mode=ID_java;
-    symbol_table.add(symbol);
-  }
 }
 
 /// See output