[jbosstools-issues] [JBoss JIRA] (JBIDE-17051) When two colliding servers are started and then stopped, a java process is still running