void () { if (!myProject.isDefault()) { myProject.getMessageBus().syncPublisher(LANGUAGE_LEVEL_CHANGED_TOPIC).onLanguageLevelsChanged(); ProjectRootManager.getInstance(myProject).incModificationCount(); JavaLanguageLevelPusher.pushLanguageLevel(myProject); } }