public void move(double x, double y) {
		ps.append(String.format(Locale.US, "%1.3f %1.3f moveto\n", x, y));
	}
Compute the header separately because we need to wait for the bounding box
tool/src/org/antlr/v4/gui/PostScriptDocument.java