if (closed) return;
    public void log (String msg) {	// it's enough to render the date every 15 seconds	if (System.currentTimeMillis () - 15000 > dateLastRendered)	    renderDate ();	entries.add (dateCache + msg);    }