[ref_impl_eiffel] [1379] In the repository profile dialog, prevent the user from renaming a profile to the name of another existing profile .

Revision: 1379
Author: peter.gummer
Log Message: