- updating jbpm-installer to use jboss-as-7.1.1 by default