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