This commit simply has a revised build file that makes Java 7 the
default JDK rather than Java 8. In fact, only the OpenJDK Java 7 compiler appears to work on Linux.
Authored by: rcartwright 2014-08-26
Parent: [r5760]
Child: [r5762]
