No way to modify server profile ------------------------------- Key: JBIDE-17636 URL: https://issues.jboss.org/browse/JBIDE-17636 Project: Tools (JBoss Tools) Issue Type: Bug Components: server Affects Versions: 4.2.0.Beta2 Reporter: Rob Stryker Assignee: Rob Stryker Priority: Critical Labels: affects_documentation, new_and_noteworthy Fix For: 4.2.0.Beta3 Attachments: reconfigure_server_1.png, reconfigure_server_2.png, reconfigure_server_3.png Users have no way to modify a server\s profile once the server has been created. This is a blocking requirement.