if (negative || addition != null) return 1;
  int getMinimumLength() {    int min = Integer.MAX_VALUE;    int x;    for (int i=0; i < options.size(); i++) {      if ((x = ((REToken) options.elementAt(i)).getMinimumLength()) < min)	min = x;    }    return min;  }