222324252627282930
public DefaultSyntaxErrorHandler(String logfile) { if (logfile == null) { writer = new PrintWriter(); } else { fileWriter = new FileWriter(logfile); writer = new MultiWriter(new PrintWriter(), fileWriter); } }