else if (severity == WARNING) buf.append("WARNING: ");
    public void logMessage(int severity, String message) {        // If this is an error, pass it to the GUI        if (severity == ERROR)            frame.error(message);                // Format a message for the console window        Date date = new Date();        StringBuffer buf = new StringBuffer();        buf.append('[');        buf.append(date.toString());        buf.append("] ");        if (severity == ERROR)            buf.append("ERROR: ");        buf.append(message);        frame.writeToConsole(buf.toString());    }