DBDump += plugin for crawljax; JSCrawler = main class