13.1 Standard Properties
The following properties are normally found in all implementations of the core
libraries for the Java language.
java.version- The
libgcj version number.
java.vendor- Set to `The Free Software Foundation, Inc.'
java.vendor.url- Set to http://gcc.gnu.org/java/.
java.home- The directory where
gcj was installed. Taken from the --prefix
option given to configure.
java.class.version- The class format version number supported by the libgcj byte code interpreter.
(Currently `46.0')
java.vm.specification.version- The Virtual Machine Specification version implemented by
libgcj.
(Currently `1.0')
java.vm.specification.vendor- The name of the Virtual Machine specification designer.
java.vm.specification.name- The name of the Virtual Machine specification
(Set to `Java Virtual Machine Specification').
java.vm.version- The gcj version number.
java.vm.vendor- Set to `The Free Software Foundation, Inc.'
java.vm.name- Set to `GNU libgcj'.
java.specification.version- The Runtime Environment specification version implemented by
libgcj.
(Currently set to `1.3')
java.specification.vendor- The Runtime Environment specification designer.
java.specification.name- The name of the Runtime Environment specification
(Set to `Java Platform API Specification').
java.class.path- The paths (jar files, zip files and directories) used for finding class files.
java.library.path- Directory path used for finding native libraries.
java.io.tmpdir- The directory used to put temporary files in.
java.compiler- Name of the Just In Time compiler to use by the byte code interpreter.
Currently not used in
libgcj.
java.ext.dirs- Directories containing jar files with extra libraries. Will be used when
resolving classes.
java.protocol.handler.pkgs- A `|' separated list of package names that is used to find classes that
implement handlers for
java.net.URL.
java.rmi.server.codebase- A list of URLs that is used by the
java.rmi.server.RMIClassLoader
to load classes from.
jdbc.drivers- A list of class names that will be loaded by the
java.sql.DriverManager
when it starts up.
file.separator- The separator used in when directories are included in a filename
(normally `/' or `\' ).
file.encoding- The default character encoding used when converting platform native files to
Unicode (usually set to `8859_1').
path.separator- The standard separator used when a string contains multiple paths
(normally `:' or `;'), the string is usually not a valid character
to use in normal directory names.)
line.separator- The default line separator used on the platform (normally `\n', `\r'
or a combination of those two characters).
policy.provider- The class name used for the default policy provider returned by
java.security.Policy.getPolicy.
user.name- The name of the user running the program. Can be the full name, the login name
or empty if unknown.
user.home- The default directory to put user specific files in.
user.dir- The current working directory from which the program was started.
user.language- The default language as used by the
java.util.Locale class.
user.region- The default region as used by the
java.util.Local class.
user.variant- The default variant of the language and region local used.
user.timezone- The default timezone as used by the
java.util.TimeZone class.
os.name- The operating system/kernel name that the program runs on.
os.arch- The hardware that we are running on.
os.version- The version number of the operating system/kernel.
awt.appletWarning- The string to display when an untrusted applet is displayed.
Returned by
java.awt.Window.getWarningString() when the window is
“insecure”.
awt.toolkit- The class name used for initializing the default
java.awt.Toolkit.
Defaults to gnu.awt.gtk.GtkToolkit.
http.proxyHost- Name of proxy host for http connections.
http.proxyPort- Port number to use when a proxy host is in use.