Configure tomcat port