RETokenOneOf(int subIndex, Vector options, boolean negative) {
RETokenOneOf(int subIndex, String optionsStr, boolean negative, boolean insens) {
  RETokenOneOf(int subIndex, Vector options, boolean negative) {    super(subIndex);    this.options = options;    this.negative = negative;  }