code: public int getDocumentFrequency(Token token) 
      { 
          Integer df = (Integer)documentFrequency.get(token);
          if (df == null) return 0;
          else return df.intValue();
      }
docs: Get the document frequency of the token.