Change version number
Fix NullPointerException at DatabaseCrawlList.java:102
Merge pull request #519 from emmanuel-keller/1.6

Fix NPE at DatabaseCrawlList.java:102