12.1 Standard Properties
The following properties are normally found in all implementations of the core
libraries for the Java language.
     
- java.version
- The libgcjversion 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 gcjwas installed.  Taken from the--prefixoption 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.RMIClassLoaderto load classes from.
 
- jdbc.drivers
- A list of class names that will be loaded by the java.sql.DriverManagerwhen 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.Localeclass.
 
- user.region
- The default region as used by the java.util.Localclass.
 
- user.variant
- The default variant of the language and region local used.
     
 
- user.timezone
- The default timezone as used by the java.util.TimeZoneclass.
 
- 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 tognu.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.