jenkins and maven

[Benjamin Hindman]

Just an FYI that I've updated our Jenkins build configurations to include
maven on the path in preparation for maven'izing the Java side of our build.