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.

The name of the properties file

Whether the current version of compiler supports research plugins.

The loaded properties

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

Whether the current version of compiler is experimental

Snapshot, nightly releases and non-bootstrapped compiler are experimental.

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