public void line(double x1, double y1, double x2, double y2) {
		move(x1, y1);
		lineto(x2, y2);
	}
Compute the header separately because we need to wait for the bounding box
tool/src/org/antlr/v4/gui/PostScriptDocument.java