Add name to method parameter in header file

The doxygen comment in the header file was referring to a parameter
which was given a name only in the cpp file, and doxygen was complaining
that it could not find the parameter.

Author: John Nonweiler

jbmc/src/java_bytecode/replace_java_nondet.h

@@ -19,7 +19,7 @@ class goto_model_functiont;
 /// Replace calls to nondet library functions with an internal nondet
 /// representation.
 /// \param goto_model: The goto program to modify.
-void replace_java_nondet(goto_modelt &);
+void replace_java_nondet(goto_modelt &goto_model);
 
 void replace_java_nondet(goto_functionst &);