code: static public Tokenizer getTokenizer(String filename) throws IOException {
      if(filename.toLowerCase().endsWith("xml")) {
        return new XmlTokenizer(filename);
      } else {
        return new BinaryTokenizer(filename);
      }
    }
docs: Factory function that creates a Tokenizer object, the input format
  is set based on filename (*.xml is XML, otherwise binary)
  
  @param filename input filename