private static Map<? extends Attribute, ?> xlate(Font f, Color defcol) {
	    Map<Attribute, Object> attrs = new HashMap<Attribute, Object>();
	    attrs.put(TextAttribute.FONT, f);
	    attrs.put(TextAttribute.FOREGROUND, defcol);
	    return(attrs);
	}