I always forget how to kill JBoss when it’s hanging during shutdown… so now I decided to wirte it down here:

astro@mac:~$jps -mlvV | grep jboss
 7121 org.jboss.Main -Dprogram.name=run.sh [blah blah blah]
astro@mac:~$kill -9 7121

Finally.