public void setResolution(BDFParser.Dimension resolution) { this.resolution = resolution;
public void setResolution(int xres, int yres) { resolution.setSize(xres, yres);
	public void setResolution(BDFParser.Dimension resolution) {		this.resolution = resolution;	}