if (negative || addition != null) return 1;
  int getMaximumLength() {    int max = 0;    int x;    for (int i=0; i < options.size(); i++) {      if ((x = ((REToken) options.elementAt(i)).getMaximumLength()) > max)	max = x;    }    return max;  }