use other JDKs