[jbosstools-issues] [JBoss JIRA] Reopened: (JBIDE-1350) Cannot stop JBoss server instance when using non-standard JNDI port number