/**
  * Whether to set the language encoding flag if the file name
  * encoding is UTF-8.
  *
  * <p>Defaults to true.</p>
  */
 public void setUseLanguageEncodingFlag(bool b)
 {
     useUTF8Flag = b && ZipEncodingHelper.isUTF8(encoding);
 }
 /**
  * The encoding to use for filenames and the file comment.
  *
  * <p>For a list of possible values see <a
  * href="http://java.sun.com/j2se/1.5.0/docs/guide/intl/encoding.doc.html">http://java.sun.com/j2se/1.5.0/docs/guide/intl/encoding.doc.html</a>.
  * Defaults to UTF-8.</p>
  * @param encoding the encoding to use for file names, use null
  * for the platform's default encoding
  */
 public void setEncoding(String encoding)
 {
     this.encoding    = encoding;
     this.zipEncoding = ZipEncodingHelper.getZipEncoding(encoding);
     useUTF8Flag     &= ZipEncodingHelper.isUTF8(encoding);
 }