code: public void write(File f)
      {
          try
          {
              ObjectOutputStream oos = new ObjectOutputStream(new GZIPOutputStream(new FileOutputStream(f)));
              oos.writeObject(textDirection);
              if (textDirection.doForward())
                  oos.writeObject(forwardCRF);
              if (textDirection.doReverse())
                  oos.writeObject(reverseCRF);
              oos.writeObject(basePipe);
              oos.writeInt(order);
              oos.writeBoolean(useFeatureInduction);
              oos.writeObject(format);
              oos.close();
          }
          catch (IOException e)
          {
              System.err.println("Exception writing file " + f + ": " + e);
          }
      }
docs: Serializes and writes this CRFTagger to the specified file
  
  @param f
  The file to write this CRFTagger to