diff options
Diffstat (limited to 'java/java-impl/src/com/intellij/openapi/roots/impl/JavaLanguageLevelPusher.java')
| -rw-r--r-- | java/java-impl/src/com/intellij/openapi/roots/impl/JavaLanguageLevelPusher.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/java/java-impl/src/com/intellij/openapi/roots/impl/JavaLanguageLevelPusher.java b/java/java-impl/src/com/intellij/openapi/roots/impl/JavaLanguageLevelPusher.java index 6daedef21ef9..d933576fc697 100644 --- a/java/java-impl/src/com/intellij/openapi/roots/impl/JavaLanguageLevelPusher.java +++ b/java/java-impl/src/com/intellij/openapi/roots/impl/JavaLanguageLevelPusher.java @@ -37,7 +37,7 @@ import java.io.IOException; * @author Gregory.Shrago */ public class JavaLanguageLevelPusher implements FilePropertyPusher<LanguageLevel> { - public static void pushLanguageLevel(final Project project) { + public static void pushLanguageLevel(@NotNull final Project project) { PushedFilePropertiesUpdater.getInstance(project).pushAll(new JavaLanguageLevelPusher()); } |