else {  System.err.println("Can't set input encoding "+encoding); }
    private void setInputEncoding(String encoding)      throws UnsupportedEncodingException    {      if (!encoding.equals(inputEncoding) &&          reader instanceof XMLInputStreamReader)        {          inputEncoding = encoding;          reader = new XMLInputStreamReader((XMLInputStreamReader) reader,                                            encoding);        }    }