thiago andrade created JBIDE-15371: -------------------------------------- Summary: when port-offset is "0" and modifications are done to servers the xml is persisted incorrectly and the port-offset is not writen Key: JBIDE-15371 URL: https://issues.jboss.org/browse/JBIDE-15371 Project: Tools (JBoss Tools) Issue Type: Bug Affects Versions: 4.1.0.Final Reporter: thiago andrade -- This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira