Tweaked maven profile activation (in some cases an empty
mvn-repo-proprietary/releases folder is created by maven).