specify JDKs