129130131132133134135136137138139
// If adjusting for simple tags did not fix the problem, // it must be a real mismatch. if (mismatch) { throw new ParseException("Tag " + top.toUserDebugString() + " has a mismatched close tag at " + tag.toUserDebugString(), top.getPos()); } }