LanguageLevel (JpsModule module) { final JpsJavaModuleExtension moduleExtension = getModuleExtension(module); if (moduleExtension == null) return null; final LanguageLevel languageLevel = moduleExtension.getLanguageLevel(); if (languageLevel != null) return languageLevel; final JpsJavaProjectExtension projectExtension = getProjectExtension(module.getProject()); return projectExtension != null ? projectExtension.getLanguageLevel() : null; }