Just as an FYI,
When downloading from here, http://sourceforge.net/projects/jbpm/files/designer/, all the .war's are named "jboss war" deployments.
Testing on my own, it appears the jboss7 seems to support deploying to tomcat (the same tomcat the Gunvor can be deployed to, in my case tomcat7). However, the non-jboss7 will not deploy to tomcat.
just a heads up!