fontSize.setValue(sz);
    protected void setFontSize(int sz) {		if (sz > MAXFONTSIZE)			sz = MAXFONTSIZE;		System.out.println("Setting font size to " + sz);		Font f = new Font("Helvetica", Font.PLAIN, sz);		nowLabel.setFont(f);		endsLabel.setFont(f);	}