cosmetic modifs
Merge remote branch 'origin/master'

* origin/master:
  increment maven pom.xmlversions because limaCore is modified