--- old/src/jdk.compiler/share/classes/com/sun/tools/javac/main/Option.java 2018-07-11 08:10:50.485761883 -0700 +++ new/src/jdk.compiler/share/classes/com/sun/tools/javac/main/Option.java 2018-07-11 08:10:49.758125860 -0700 @@ -41,6 +41,7 @@ import java.util.Locale; import java.util.ServiceLoader; import java.util.Set; +import java.util.StringJoiner; import java.util.TreeSet; import java.util.regex.Pattern; import java.util.stream.Collectors; @@ -295,6 +296,16 @@ } super.process(helper, option, operand); } + + @Override + protected void help(Log log) { + StringJoiner sj = new StringJoiner(", "); + for(Source source : Source.values()) { + if (source.isSupported()) + sj.add(source.name); + } + super.help(log, log.localize(PrefixKind.JAVAC, descrKey, sj.toString())); + } }, TARGET("-target", "opt.arg.release", "opt.target", STANDARD, BASIC) { @@ -306,6 +317,16 @@ } super.process(helper, option, operand); } + + @Override + protected void help(Log log) { + StringJoiner sj = new StringJoiner(", "); + for(Target target : Target.values()) { + if (target.isSupported()) + sj.add(target.name); + } + super.help(log, log.localize(PrefixKind.JAVAC, descrKey, sj.toString())); + } }, RELEASE("--release", "opt.arg.release", "opt.release", STANDARD, BASIC) {