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