div.endDiv(makeLocation(t), a);
}
final public void IncludeDiv(GrammarSection section, Scope scope, Annotations a) throws ParseException {
Token t;
Div div = section.makeDiv();
t = jj_consume_token(6);
jj_consume_token(11);
a = IncludeBody(div, scope, a);
topLevelComments(div);
jj_consume_token(12);
div.endDiv(makeLocation(t), a);
}