/**
   * 这个方法使用XMLOutputter将JDom对象输出到文件
   * @param myDocument 将要输出的JDom对象
   * @param filePath 将要输出到的磁盘路径
   */
  public static void TranToFile(Document myDocument, String filePath) {
    OutputToFile(myDocument, filePath, "GB2312");
  }  /**
   * 这个方法使用XMLOutputter将JDom对象输出到文件
   * @param myDocument 将要输出的JDom对象
   * @param filePath 将要输出到的磁盘路径
   * @param encoding 编码方式
   */
  public static void OutputToFile(Document myDocument, String filePath,
                                  String encoding) {
    //setup this like outputDocument
    try {
      XMLOutputter outputter = new XMLOutputter("", true, encoding);      //output to a file
      FileWriter writer = new FileWriter(filePath);
      outputter.output(myDocument, writer);
      writer.close();
    }
    catch (java.io.IOException e) {
      e.printStackTrace();
    }
  }