Update pom.xml
Merge branch 'master' of git@github.com:socialsensor/graphdb-benchmarks.git
Minor changes