mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-27 23:04:50 +02:00
Merge
This commit is contained in:
commit
634afe8c5c
4 changed files with 28 additions and 17 deletions
|
@ -196,8 +196,9 @@ java.launcher.X.usage=\n\
|
|||
\ --source <version>\n\
|
||||
\ set the version of the source in source-file mode.\n\
|
||||
\ --finalization=<value>\n\
|
||||
\ controls finalization\n\
|
||||
\ <value> is one of "enabled" or "disabled"\n\n\
|
||||
\ controls whether the JVM performs finalization of objects,\n\
|
||||
\ where <value> is one of "enabled" or "disabled".\n\
|
||||
\ Finalization is enabled by default.\n\n\
|
||||
These extra options are subject to change without notice.\n
|
||||
|
||||
# Translators please note do not translate the options themselves
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue