Restart tomcat (the rude way)

To restart tomcat, fill the following two lines in a .sh file and make it executable (chmod +x [filename]):

killall -s 9 java
/[tomcat installation folder]/bin/startup.sh

Warning: It kills all other java processes as well!