fix picketlink distribution version in jboss-as7 profile