int (@NotNull JpsModule module) { final int level = getLanguageLevel(module); if (level > 0) { return level; } // when compiling, if language level is not explicitly set, it is assumed to be equal to // the highest possible language level supported by target JDK final JpsSdk<JpsDummyElement> sdk = module.getSdk(JpsJavaSdkType.INSTANCE); if (sdk != null) { return JpsJavaSdkType.getJavaVersion(sdk); } return 0; }