LanguageLevel (@Nullable String version) { final String prefix = getName() + " "; if (version != null && version.startsWith(prefix)) { return LanguageLevel.fromPythonVersion(version.substring(prefix.length())); } return LanguageLevel.getDefault(); }