change tomcat server port, add timestamp support