jdk/src/jdk.jlink/share/classes/jdk/tools/jmod/resources/jmod.properties
changeset 42670 d833113eb7d7
parent 42468 7a9555a7e080
child 42704 42d42181a1aa
--- a/jdk/src/jdk.jlink/share/classes/jdk/tools/jmod/resources/jmod.properties	Tue Dec 13 09:55:38 2016 +0800
+++ b/jdk/src/jdk.jlink/share/classes/jdk/tools/jmod/resources/jmod.properties	Mon Dec 12 18:56:50 2016 -0800
@@ -58,6 +58,7 @@
 \ list, each element using one the following forms: <glob-pattern>,\
 \ glob:<glob-pattern> or regex:<regex-pattern>
 main.opt.header-files=Location of header files
+main.opt.legal-notices=Location of legal notices
 main.opt.module-version= Module version
 main.opt.main-class=Main class
 main.opt.main-class.arg=class-name
@@ -104,6 +105,6 @@
 warn.no.module.hashes=No hashes recorded: no module specified for hashing depends on {0}
 warn.module.resolution.fail=No hashes recorded: {0}
 warn.ignore.entry=ignoring entry {0}, in section {1}
-warn.ignore.duplicate.entry=ignoring duplicate entry {0}, in section{1}
+warn.ignore.duplicate.entry=ignoring duplicate entry {0}, in section {1}