The name of the properties file
The loaded properties
The version number of the jar this was loaded from plus "version " prefix, or "version (unknown)" if it cannot be determined.
This is the default text encoding, overridden (unreliably) with
Can the java version be determined to be at least as high as the argument? Hard to properly future proof this but at the rate 1.7 is going we can leave the issue for our cyborg grandchildren to solve.
Some derived values.
Various well-known properties.
The default end of line character.
This is the encoding to use reading in source files, overridden with -encoding Note that it uses "prop" i.e. looks in the scala jar, not the system properties.
Either the development or release version if known, otherwise the empty string.