doc/Implementation/AWTPrinting: Update to match latest code