Restart tomcat and jenkins on java updates