/** * Pretty print a tool error. * * @param toolError ToolError to pretty print. */ private void prettyPrintUserInputError( final ToolError toolError ) { if (mDebugFlag) { toolError.printStackTrace(getPrintStream()); } else { getPrintStream().println(toolError.getErrorMessage()); } }