Scripted install of JBoss BPMS on top of Tomcat