Restart tomcat after portal installation