private static void printRaw(String message) {
public static void printRaw(String message) {
    private static void printRaw(String message) {	// make the filewriter if necessary	if (resultStream == null) {	    MakeFileWriters();	}		try {	    // write to the output file	    resultStream.write(message);	    // flush	    resultStream.flush();	} catch (Exception e) {	    System.out.println("Error printing to the result file");	    e.printStackTrace();	    throw new RuntimeException();	}	if (VERBOSE) {	    System.out.println(message);	}	    }