Fix java.lang.NullPointerException at
FileInfo.isNewCrawlNeeded(FileInfo.java:266)
Merge pull request #747 from emmanuel-keller/1.5

Fix java.lang.NullPointerException at