public String getEncoding() {if (!isOpen()) {return null;}return HistoricalCharsetNames.get(decoder.charset());}
public virtual string getEncoding(){if (!isOpen()){return null;}return java.io.HistoricalCharsetNames.get(decoder.charset());}