</BUG>
super(tokens, origin, warningsOut);
EOF = new Location(1, sourceText.length() + 1, sourceText.length());
}
<BUG>@Nonnull public static Policy parse(@Nonnull String sourceText, @Nonnull Origin origin)

throws ParseException, Tokeniser.TokeniserException {</BUG>
return new ParserWithLocation(sourceText, TokeniserWithLocation.tokenise(sourceText),
origin, null).parsePolicyAndAssertEOF();
}

import java.util.Collection;
import java.util.List;
public class ParserWithLocation extends Parser {
private final Location EOF;
private ParserWithLocation(@Nonnull String sourceText, @Nonnull Token[] tokens,
@Nonnull Origin origin, @Nullable Collection<Notice> warningsOut) {
super(tokens, origin, warningsOut);
EOF = new Location(1, sourceText.length() + 1, sourceText.length());
}
@Nonnull public static Policy parse(@Nonnull String sourceText, @Nonnull Origin origin) {
return new ParserWithLocation(sourceText, TokeniserWithLocation.tokenise(sourceText),
origin, null).parsePolicyAndAssertEOF();
}
