Add simple getters for the port of the default server and proxy.