GERONIMODEVTOOLS-795: Add support for PortOffset and saving port information into config-substitution file. Also, other improvements to editing server configuration (ensure unsaved changes are not used until saved, and fix undo functionality)
geronimo/devtools/eclipse-plugin/trunk/plugins/org.apache.geronimo.st.v30.core/src/main/java/org/apache/geronimo/st/v30/core/GeronimoServerBehaviourDelegate.java