maintenance

Our PDFCreator 4.0.2 maintenance release is out and it comes with the following improvements: