public void rect(double x, double y, double width, double height) {
		line(x, y, x, y + height);
		line(x, y + height, x + width, y + height);
		line(x + width, y + height, x + width, y);
		line(x + width, y, x, y);
	}
Compute the header separately because we need to wait for the bounding box
tool/src/org/antlr/v4/gui/PostScriptDocument.java