< prev index next >

src/jdk.compiler/share/classes/com/sun/tools/javac/resources/javac.properties

Print this page

        

@@ -71,11 +71,11 @@
     Specify character encoding used by source files
 javac.opt.profile=\
     Check that API used is available in the specified profile
 javac.opt.target=\
     Generate class files for specific VM version
-javac.opt.platform=\
+javac.opt.release=\
     Compile for a specific VM version. Supported targets: {0}
 javac.opt.source=\
     Provide source compatibility with specified release
 javac.opt.Werror=\
     Terminate compilation if warnings occur

@@ -103,12 +103,12 @@
     <encoding>
 javac.opt.arg.profile=\
     <profile>
 javac.opt.arg.release=\
     <release>
-javac.opt.arg.platform=\
-    <platform>
+javac.opt.arg.release=\
+    <release>
 javac.opt.arg.number=\
     <number>
 javac.opt.plugin=\
     Name and optional arguments for a plug-in to be run
 javac.opt.arg.plugin=\

@@ -341,13 +341,13 @@
 Consult the following stack trace for details.\n
 
 javac.version={0} {1}
 javac.fullVersion={0} full version "{1}"
 
-javac.err.platform.bootclasspath.conflict=\
-    option {0} cannot be used together with -platform
+javac.err.release.bootclasspath.conflict=\
+    option {0} cannot be used together with -release
 
-javac.err.unsupported.platform.version=\
-    platform version {0} not supported
+javac.err.unsupported.release.version=\
+    release version {0} not supported
 
-javac.err.platform.not.standard.file.manager=\
-    -platform option specified, but the provided JavaFileManager is not a StandardJavaFileManager.
+javac.err.release.not.standard.file.manager=\
+    -release option specified, but the provided JavaFileManager is not a StandardJavaFileManager.
< prev index next >