public void report(Thread th, Throwable t) {
	    Report r = new Report(t);
	    r.props.putAll(props);
	    r.props.put("thnm", th.getName());
	    r.props.put("thcl", th.getClass().getName());
	    synchronized(errors) {
		errors.add(r);
		errors.notifyAll();
	    }
	    try {
		r.join();
	    } catch(InterruptedException e) { /* XXX? */ }
	}