Вы все еще можете проверить / установить, какую версию JDK вы хотите скомпилировать. Если вы идете в Window-> Preferences, то нажмите «Java» в меню слева и затем «Compiler». Первый параметр позволяет увидеть, какая версия JDK соблюдается.
Я знаю, что это не дает прямого ответа на ваш вопрос, поскольку JDK на самом деле не компилирует его, но, надеюсь, это поможет!