Prefer jdk over jre when searching for an alternative jvm to run against. Also search for jdks in the standard locations on our linux build machines.