docs: public int getStateId(LR1ItemSet targetSet) throws GrammarException {
  	Integer id = set2int.get(targetSet);
  	if (id == null) {
  	    throw new GrammarException("Target set '" + targetSet
  		    + "' was not found!");
  	}
  	return id;
      }