skip latest JDK7 if we have already found an older one
only use the numeric part of the build number
if $JAVA_HOME is invalid, fall back to searching
Merge remote-tracking branch 'origin/1.12'

Conflicts:
	bin/functions.pl