main: split choosing OpenJDK vs Oracle and 1.6 vs 1.7