Adding a new <port> configuration item to allow for ports other than Derby's default 1527.
Merging pull request and adding port support for all servers