[jbosstools-issues] [JBoss JIRA] (JBIDE-12811) use connection name in server editor

use connection name in server editor ------------------------------------ Key: JBIDE-12811 URL: https://issues.jboss.org/browse/JBIDE-12811 Project: Tools (JBoss Tools) Issue Type: Sub-task Components: openshift Affects Versions: 4.0.0.Alpha2 Reporter: Andre Dietisheim Assignee: Andre Dietisheim Fix For: 4.0.0.Beta1 Attachments: server-editor-connection.png, server-editor.png Since we now want to support multiple OpenShift (PaaS-) servers in OpenShift for JBoss Tools (JBIDE-12168), we now also have to support a server setting in the server adapter editor. It doesn't currently: !server-editor.png! We decided to provide a combo that would list the existing connections (= username + server)