Could we ask the users to save their Server Editor when they click "Open launch configuration"? In some cases the functionality of the launch config dialog is affected by changes in Server Editor.
For example take Deploy only server.
With JBIDE-7515, it is now possible to set up a launch/shutdown script.
But for that you first need to uncheck the checkbox "Server is externally managed". Once you do that, you have to save the editor and only then click on the launch config. If you don't realize you need to save, you could be surprised that you still can't edit the startup/shutdown fields.
(I will open another JIRA to change that particular workflow, but this JIRA will be still relevant for other cases.)