[jbosstools-issues] [JBoss JIRA] (JBIDE-10512) Explorer: Delete server and disconnect GIT when deleting OpenShift application