if (!pdf.getProducer().equals(producer))
display("PDF Producer:", pdf.getProducer());
if (!pdf.getProducer().equals(producer))
display("PDF Producer:", pdf.getProducer());
if (!pdf.getProducer().equals(producer))
if (!pdf.getProducer().equals(producer))
display("PDF Producer:", pdf.getProducer());
if (!pdf.getProducer().equals(producer))
display("PDF Producer:", pdf.getProducer());
if (!pdf.getProducer().equals(producer))