public void setCSVOutput(Module br, String csv) { if (csv == null) return; String fn = br.getRelRawDir() + csv + ".csv"; try { mCsvF = new FileOutputStream(br.getBaseDir() + fn); mCsvOut = new PrintStream(mCsvF); new Hint(this).add("A CSV format version is saved as: ").add(new Link(fn, fn)); } catch (IOException e) { br.printErr(4, "Failed creating CSV file `" + fn + "': " + e); mCsvF = null; mCsvOut = null; } }