Fix NullPointerException at DatabaseCrawlList.java:102
Merge pull request #518 from emmanuel-keller/1.5

Fix NullPointerException at DatabaseCrawlList.java:102