如果想修改Tomcat服务器的端口号，应当修改哪个文件？能否将端口号修改为80。