Adding a new <port> configuration item to allow for ports other than Derby's default 1527.