Fix UI issues in Web crawler, update PDFBOX to 1.8.4
Merge pull request #421 from emmanuel-keller/1.5

Fix UI issues in Web crawler, update PDFBOX to 1.8.4