812813814815816817818819820821822
if (rkk == null) { rkk = new RegExpEmpty(); } rkk = new RegExpKleene(rkk); newreg = rkk; if (rik != null) { newreg = new RegExpConcat(rik, newreg); }