hg: jdk9/dev/langtools: 8132857: Historical name of default encoding shown on encoding mismatch

[jan.lahoda at oracle.com]

Changeset: c06787799b4b
Author:    jlahoda
Date:      2016-06-28 15:46 +0200
URL:       http://hg.openjdk.java.net/jdk9/dev/langtools/rev/c06787799b4b

8132857: Historical name of default encoding shown on encoding mismatch
Summary: Using Charset.defaultCharset().name() to get the proper name of the default Charset.
Reviewed-by: jjg

! src/jdk.compiler/share/classes/com/sun/tools/javac/file/BaseFileManager.java
+ test/tools/javac/file/T8132857.java