vString Font(vString s) {
public vString Font(vString s) {
vString Font(vString s) {    if (s == null) {	return this.font.spec;    }    wFont f = wFont.parse(s);    if (f == null) {	return null;    } else {	font = f;	this.b.setFont(f);	this.a.setFont(f);	leading = c.getFontMetrics(font).getHeight(); // java calls it "height"	return s;    }}