public Font deriveFont(int style) { return new Font(name, style, size); }
public Font deriveFont (int style, float size) { return peer.deriveFont (this, style, size); }
	public Font deriveFont(int style) {		return new Font(name, style, size);	}