public boolean doFile(AuxiliaryDataParser p, File f) throws IOException {
BufferedReader fh = new BufferedReader(new InputStreamReader(new FileInputStream(f), "UTF-8"));
skipBOM(fh);
Generator<Token> gen = new TokenReader(fh);
LazyList<Token> toks = new LazyList<Token>(gen);
RDParserResult result = p.Parse(toks);
p.reportResults(this.getOutput(), result);
return result.success();