pushClip
Java2D clips by pixel centre and never anti-aliases a clip, so a clip is applied as MuPDF applies it (#285). A rectangle clips to the whole pixels it touches. Any other shape opens a SoftClip: the paints inside go to a layer, which composites onto the page through the anti-aliased coverage of the shape when the clip pops.