code: public int getIndex(String tokenForm) {
  		// tokenForm = tokenForm.replaceAll("\\W+", "_");
  		int[] index = (int[]) tokenForm2index.get(tokenForm);
  		if (index == null)
  			return -1;
  		return index[0];
  	}
docs: returns the position of a given tokenform or -1 if the tokenform is
  unknown or has been filtered out
  
  @param tokenForm
  @return