Вышеупомянутые ответы были очень полезными, но после всех настроек проект работал с неправильной версией. Наконец, я заметил, что он также может быть настроен в окне «Зависимости». Idea 2018.1.3 Файл -> Структура проекта -> Модули -> Источники и зависимости.