JBPM-4403: managing the overridden org.jboss.as version