updating poms for 5.0.0.13-SNAPSHOT development
updating poms for branch'release-5.0.0.12' with non-snapshot versions
Merge branch 'release-5.0.0.12'
updating develop poms to master versions to avoid merge conflicts
Merge branch 'master' into develop
Updating develop poms back to pre merge state