} return ret.toString();
    public String toString() {	StringBuffer ret=new StringBuffer();	Object       sender;		for(Enumeration e=msgs.keys(); e.hasMoreElements();) {	    sender=e.nextElement();        ret.append(sender).append(" --> ").append(msgs.get(sender)).append('\n');	}	return ret.toString();    }