diff options
Diffstat (limited to 'plugins/eclipse/jps-plugin/src/org/jetbrains/jps/eclipse/model/JpsIdeaSpecificSettings.java')
-rw-r--r-- | plugins/eclipse/jps-plugin/src/org/jetbrains/jps/eclipse/model/JpsIdeaSpecificSettings.java | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/plugins/eclipse/jps-plugin/src/org/jetbrains/jps/eclipse/model/JpsIdeaSpecificSettings.java b/plugins/eclipse/jps-plugin/src/org/jetbrains/jps/eclipse/model/JpsIdeaSpecificSettings.java index e1e1b8506a70..9d722746650e 100644 --- a/plugins/eclipse/jps-plugin/src/org/jetbrains/jps/eclipse/model/JpsIdeaSpecificSettings.java +++ b/plugins/eclipse/jps-plugin/src/org/jetbrains/jps/eclipse/model/JpsIdeaSpecificSettings.java @@ -118,7 +118,13 @@ class JpsIdeaSpecificSettings extends AbstractIdeaSpecificSettings<JpsModule, St } @Override - protected void readLanguageLevel(Element root, JpsModule model) throws InvalidDataException {} + protected void readLanguageLevel(Element root, JpsModule model) throws InvalidDataException { + final String languageLevel = root.getAttributeValue("LANGUAGE_LEVEL"); + final JpsJavaModuleExtension extension = getService().getOrCreateModuleExtension(model); + if (languageLevel != null) { + extension.setLanguageLevel(LanguageLevel.valueOf(languageLevel)); + } + } @Override protected void expandElement(Element root, JpsModule model) { |