server editor has no runtime combo ---------------------------------- Key: JBIDE-17001 URL: https://issues.jboss.org/browse/JBIDE-17001 Project: Tools (JBoss Tools) Issue Type: Bug Components: server Affects Versions: 4.2.0.Beta1 Reporter: Rob Stryker Assignee: Rob Stryker Fix For: 4.2.0.Beta2 Since the recent profile refactor, the server editor no longer has a runtime combo through which the runtime can be changed. This needs to be added in through the wtp-provided extension point to add widgets to the general information section.