Any experiences with running Essential on JBoss rather than Tomcat (I already have Jboss 7 installed and running with MySQL on my Linux box and since it contains a web container so it feels a bit redundant to also install Tomcat)? I read somewhere that Protege 3 something was recommended - what is u...