Move documentation into cpp file

A doxygen \param comment in the header file was referring to the
'goto_model' parameter which was named only in the cpp file, and doxygen
complained that it could not find the parameter.

(Moved other comments for consistency.)

Author: John Nonweiler

jbmc/src/java_bytecode/replace_java_nondet.cpp

@@ -323,6 +323,9 @@ static void replace_java_nondet(goto_programt &goto_program)
   }
 }
 
+/// Replace calls to nondet library functions with an internal nondet
+/// representation in a single function.
+/// \param function: The goto program to modify.
 void replace_java_nondet(goto_model_functiont &function)
 {
   goto_programt &program = function.get_goto_function().body;
@@ -341,6 +344,9 @@ void replace_java_nondet(goto_functionst &goto_functions)
   remove_skip(goto_functions);
 }
 
+/// 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 &goto_model)
 {
   replace_java_nondet(goto_model.goto_functions);

jbmc/src/java_bytecode/replace_java_nondet.h

@@ -16,16 +16,10 @@ class goto_modelt;
 class goto_functionst;
 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_functionst &);
 
-/// Replace calls to nondet library functions with an internal nondet
-/// representation in a single function.
-/// \param function: The goto program to modify.
 void replace_java_nondet(goto_model_functiont &function);
 
 #endif