if (next instanceof RETokenChar) {
if (next instanceof RETokenChar && ((RETokenChar)next).insens == insens) {
  boolean chain(REToken next) {    if (next instanceof RETokenChar) {      RETokenChar cnext = (RETokenChar) next;      // assume for now that next can only be one character      int newsize = ch.length + cnext.ch.length;            char[] chTemp = new char [newsize];            System.arraycopy(ch,0,chTemp,0,ch.length);      System.arraycopy(cnext.ch,0,chTemp,ch.length,cnext.ch.length);            ch = chTemp;      return false;    } else return super.chain(next);  }