public void draw (JEditorPane editor)
    {
	StringBuffer	buf = new StringBuffer ();
	String		name = toString ();

	editor.setContentType ("text/html");

	buf.append ("<html>\n<head><title>");
	buf.append (name);
	buf.append ("</title></head>\n<body><font size=+1><b>");
	buf.append (name);
	buf.append ("</b></font><br>\n");

	editor.setText (buf.toString ()
	    + "... querying for current device status ..."
	    + "</body></html>"
	    );
	editor.repaint ();

	if (dev != null) {
	    try {
		showDeviceInfo (buf);
		showClassInfo (buf);
		showConfigInfo (buf);
	    } catch (IOException e) {
		e.printStackTrace ();
	    }
	}
	buf.append ("</body></html>");

	// the config info could be cached.
	// other bits involve "live" status.

	editor.setText (buf.toString ());
    }