I having trouble figuring out how to just restart Tomcat without restarting JBoss. Don't know if this is useful, just couldn't find the button.
I posted this to the wrong forum. Sorry about that, I've got a cold and commited multiple stupidities yesterday. Will cross post to the correct forum.