changing ports in gs3-server
|Reported by:||kjdon||Owned by:||nobody|
in the server program, File->Settings allows the user to change the tomcat port. we should add in shutdown port and derby port to here too.
Maybe all three are sequential? 8383, 8384, 8385?
If the user changes the main one (8383) then the other two will automatically change to be sequential from that. And then there could be a button to allow manual explicit change of the other two?