if (end_open != null)
{
attrs = reader.parseTagAttributes();
reader.skipSpaces();
if (!reader.matches(end_open))
throw new ScriptException(
reader.mark(),
sm.getString("script.error.unterminated"));
reader.advance(end_open.length());
reader.skipSpaces();
ScriptUtil.checkAttributes("Scriptlet", attrs, validAttributes, start);
}
Mark stop = reader.skipUntil(close);
if (stop == null)
throw new ScriptException(
reader.mark(),
sm.getString("script.error.unterminated", new Object[] { open }));
listener.handleScriptlet(start, stop, attrs);
return true;
}