Title: Module with module references in other module
Goal: Rename the module `renmod5a' to the given new name `newmod5'.
Parameters: [{file,"renmod5a.erl"},{name,"newmod5"}].
Documentation: The given new name is a legal name, and there is no module name collision with other module in the database and no file name collision in the directory in which the module `renmod5a' is. Renaming the module `renmod5a' to `newmod5' is legal. The module is renamed to the new name `newmod5' and there are module references to the old module, these module qualifiers are also renamed to `newmod5'.
