updating poms for 0.1.12-SNAPSHOT development
updating develop poms to master versions to avoid merge conflicts
Merge branch 'master' into develop
Updating develop poms back to pre merge state
Disable dev profile for deploy to simplify property priorities.
Add dummy profile to avoid default "dev" profile
updating poms for branch'release/0.1.12' with non-snapshot versions
Merge branch 'release/0.1.12'