Restart tomcat (the rude way)

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

Warning: It kills all other java processes as well!