public static void doReport(StringBuffer out) { doReport ( out, (Prim)null);
public static void doReport(PrintStream outPS) { StringBuffer out = new StringBuffer(); doReport(out); outPS.print(out);
    public static void doReport(StringBuffer out) {       doReport ( out, (Prim)null);    }