1.1 --- a/rt/emul/compact/src/main/java/java/io/PrintStream.java	Sat Sep 07 13:56:22 2013 +0200
     1.2 +++ b/rt/emul/compact/src/main/java/java/io/PrintStream.java	Fri Oct 04 15:02:17 2013 +0200
     1.3 @@ -25,6 +25,7 @@
     1.4  
     1.5  package java.io;
     1.6  
     1.7 +import java.nio.charset.Charset;
     1.8  import java.util.Arrays;
     1.9  
    1.10  
    1.11 @@ -88,9 +89,6 @@
    1.12      static final class Formatter {
    1.13      }
    1.14      
    1.15 -    static final class Charset {
    1.16 -    }
    1.17 -    
    1.18      static Charset toCharset(String ch) throws UnsupportedEncodingException {
    1.19          if (!"UTF-8".equals(ch)) {
    1.20              throw new UnsupportedEncodingException();