Add java develoment libs to vagrant box.
Add JAVA_HOME to build.sh

Only updates PATH if not on Jenkins or Travis-CI.

JAVA_HOME is missing '/bin' because PATH requires 'bin' directories,
yet some applications use JAVA_HOME to access other resources from
Java.

fix bug 1054557
Vagrant - Install Maven from dchen's repo

fix bug 1054557
Merge pull request #2301 from bramwelt/fix-bug-1054557-add-maven-for-build

fix bug 1054557 - Install maven in Vagrant