specified JDKs for building