Added possibility to customize port for tomcat