public static void directOutput(String filename, boolean append, boolean alsoToOutStream){
public static void directOutput(File file, boolean alsoToOutStream){
    public static void directOutput(String filename, boolean append,				    boolean alsoToOutStream){	try {	    directOutput(new FileOutputStream(filename, append),			 alsoToOutStream);	} catch (IOException ioe){	    // If something goes wrong, set the output to the	    // System.out only, and hope someone sees it.	    notifyOut = true;	    out = System.out;	    error("Debug: can't set up <" + filename 		  + "> for log file! \n" + ioe);	    return;	}    }