[ BUILD # : 200910010513 ]
[ JDK VERSION : 1.6.* ]
I suggest that configured servers as listed in Services>Servers
should have a rename option.
Either add a rename action to the context menu for server nodes
- or -
make the server name field in the server node properties editable.
*** This bug has been marked as a duplicate of bug 93196 ***