[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-695) JBoss Server port Monitoring issue