An overhaul of Global.

consistently, and remove things which are not being used anywhere
in the visible universe. Beyond general polish here are some of the
feature-like additions I can remember:

  * -Xshow-phases now includes descriptions of the phases.
  * -Xshow-class and -Xshow-object did not work as far as I could tell:
    if they didn't, now they do.  If they did, now they work better.
    And you don't have to give it a fully qualified name anymore.
  * -Xprint-icode will generate *.icode files (don't also have to say -Xprint:icode)
  * counts of deprecation and unchcked warnings are given
  * More documentation of what global is doing.

I tried not to break anything which might be using Global, but let me
know if I overshot somewhere. No review.

1 files changed, 1 insertions, 0 deletions

diff --git a/src/library/scala/util/Properties.scala b/src/library/scala/util/Properties.scala
index e4da90ee28..202fd63ef9 100644
--- a/src/library/scala/util/Properties.scala
+++ b/src/library/scala/util/Properties.scala
@@ -69,6 +69,7 @@ private[scala] trait PropertiesTrait
    *  Note that it uses "prop" i.e. looks in the scala jar, not the system properties.
    */
   def sourceEncoding        = scalaPropOrElse("file.encoding", "UTF-8")
+  def sourceReader          = scalaPropOrElse("source.reader", "scala.tools.nsc.io.SourceReader")
 
   /** This is the default text encoding, overridden (unreliably) with
    *  JAVA_OPTS="-Dfile.encoding=Foo"