Fix comment in notify_static_method_calls

Author: smowton

jbmc/src/java_bytecode/java_bytecode_language.cpp

@@ -1205,6 +1205,10 @@ void java_bytecode_languaget::convert_lazy_method(
 
 /// Notify ci_lazy_methods, if present, of any static function calls made by
 /// the given function body.
+/// Note only static function calls need to be reported -- virtual function
+/// calls are routinely found by searching the function body after conversion
+/// because we can only approximate the possible callees once all function
+/// bodies currently believed to be needed have been loaded.
 /// \param function_body: function body code
 /// \param needed_lazy_methods: optional ci_lazy_method_neededt interface. If
 ///   not set, this is a no-op; otherwise, its add_needed_method function will
@@ -1224,10 +1228,6 @@ static void notify_static_method_calls(
         const auto fn_call = expr_try_dynamic_cast<code_function_callt>(*it);
         if(!fn_call)
           continue;
-        // Only support non-virtual function calls for now, if string solver
-        // starts to introduce virtual function calls then we will need to
-        // duplicate the behavior of java_bytecode_convert_method where it
-        // handles the invokevirtual instruction
         const symbol_exprt *fn_sym =
           expr_try_dynamic_cast<symbol_exprt>(fn_call->function());
         if(fn_sym)