606607608609610611612613614615616
SWITCH: switch (token) { case TokenType.INT_START: if (seenElement) return true; seenElement = true; token = c.toEndToken().intValue(); break SWITCH; case TokenType.INT_TEXT: if (!Locale.isWhiteSpace(c.getChars())) return true;