encoding = "iso-8859-1";
encoding = System.getProperty("file.encoding", "iso-8859-1");
  public String getCharacterEncoding()  {    if(encoding == null) {      if(contentType == null)	contentType = "text/plain";      // FIXME  Use Locale?      encoding = "iso-8859-1";      contentType += "; charset="+encodeValue(encoding);    }    return encoding;  }