WrappedProperties

This is the default text encoding, overridden (unreliably) with JAVA_OPTS="-Dfile.encoding=Foo"

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.

Whether the current version of compiler is experimental

1. Snapshot, nightly releases and non-bootstrapped compiler are experimental.
2. Features supported by experimental versions of the compiler:
   • research plugins

The name of the properties file

The loaded properties

The version number of the jar this was loaded from, or "(unknown)" if it cannot be determined.

The version number of the jar this was loaded from plus "version " prefix, or "version (unknown)" if it cannot be determined.