[jbosstools-issues] [JBoss JIRA] (JBIDE-20544) For OpenShift v3, since a default server does not exist, we should remove the default server check box