--- old/make/src/classes/build/tools/charsetmapping/Main.java 2015-02-17 16:34:47.294942581 +0100 +++ new/make/src/classes/build/tools/charsetmapping/Main.java 2015-02-17 16:34:47.090934094 +0100 @@ -206,7 +206,7 @@ } static void verbose(Charset cs) { - System.err.printf("%s, %s, %s, %s, %s %b%n", + System.out.printf("%s, %s, %s, %s, %s %b%n", cs.clzName, cs.csName, cs.hisName, cs.pkgName, cs.type, cs.isASCII); }