code: public void setEncoding(String encoding)
    {
      _charEncoding = encoding;
  
      String javaEncoding = Encoding.getJavaName(encoding);
  
      if ("ISO8859_1".equals(javaEncoding))
        _charEncoding = null;
    }
docs: Sets the Java encoding for the compiler.