--- old/src/jdk.jlink/share/classes/jdk/tools/jmod/resources/jmod.properties 2016-12-15 09:19:22.101755874 +0000 +++ new/src/jdk.jlink/share/classes/jdk/tools/jmod/resources/jmod.properties 2016-12-15 09:19:21.973747117 +0000 @@ -91,6 +91,8 @@ err.file.already.exists=file already exists: {0} err.jmod.not.found=no jmod file found: {0} err.bad.pattern=bad pattern {0} +err.bad.WarnIfResolvedReason=bad reason: {0}, must be one of deprecated,\ +\ deprecated-for-removal, or incubating err.unknown.option=unknown option(s): {0} err.missing.arg=no value given for {0} err.internal.error=internal error: {0} {1} {2}