default to jdk 7