JBIDE-17616 - move do-not-launch setting back to server editor