Is it necessary to set the configuration in the Server? I am asking because, as you can see in the main method, there is now a second way of running the server with no configuration at all and it would be nice if this way would also work with tomcat.