public void printError(java.io.PrintStream o) { if (failureMode != null) { failureMode.printStackTrace(o); } else { if (out != null && out.checkError()) o.println(outputFileName + ": Output write error"); } }