mirror of
https://github.com/openjdk/jdk.git
synced 2026-01-28 03:58:21 +00:00
Cleanup.
This commit is contained in:
parent
1c17012fa5
commit
a164fd1f05
@ -83,7 +83,6 @@ public interface MessageType {
|
||||
FILE("file", "File", "java.io"),
|
||||
FILE_OBJECT("file object", "JavaFileObject", "javax.tools"),
|
||||
PATH("path", "Path", "java.nio.file"),
|
||||
PATTERN("pattern", "PatternDescription", "com.sun.tools.javac.comp.ExhaustivenessComputer"),
|
||||
NAME("name", "Name", "com.sun.tools.javac.util"),
|
||||
LONG("long", "long", null),
|
||||
NUMBER("number", "int", null),
|
||||
|
||||
@ -40,7 +40,6 @@
|
||||
# number an integer
|
||||
# option name the name of a command line option
|
||||
# path a path
|
||||
# patter a pattern/pattern description
|
||||
# profile a profile name
|
||||
# source a source version number, such as 1.5, 1.6, 1.7, taken from a com.sun.tools.javac.code.Source
|
||||
# source version a source version number, such as 1.5, 1.6, 1.7, taken from a javax.lang.model.SourceVersion
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user