void (@NotNull LanguageLevel languageLevel) { // we don't use here getLanguageLevelOrDefault() - if null, just set to provided value, because our default (LanguageLevel.HIGHEST) is changed every java release if (myLanguageLevel != languageLevel) { myLanguageLevel = languageLevel; setDefault(false); languageLevelsChanged(); } }