12.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.