String () { String version = myVersion; if (version == null) { version = ""; JavaCompiler compiler = findCompiler(); Path file = compiler == null ? null : PathManager.getJarForClass(compiler.getClass()); if (file != null) { String name = file.getFileName().toString(); if (name.startsWith(JAR_FILE_NAME_PREFIX) && name.endsWith(JAR_FILE_NAME_SUFFIX)) { version = " " + name.substring(JAR_FILE_NAME_PREFIX.length(), name.length() - JAR_FILE_NAME_SUFFIX.length()); } } myVersion = version; } return "Eclipse compiler" + version; }