if (!pdf.getKeywords().equals(keyword))
if (pdf != null) display("Keywords:", pdf.getKeywords()); display("PDF Version:", pdf.getPDFVersion()); display("PDF Producer:", pdf.getProducer());
if (!pdf.getKeywords().equals(keyword))
if (pdf != null) display("Keywords:", pdf.getKeywords()); display("PDF Version:", pdf.getPDFVersion()); display("PDF Producer:", pdf.getProducer());
if (!pdf.getKeywords().equals(keyword))