[jbosstools-issues] [JBoss JIRA] (JBIDE-15371) when port-offset is "0" and modifications are done to servers the xml is persisted incorrectly and the port-offset is not writen