crawljax/crawljax — pull request #72 by amesbah (2012-12-15 20:14:41+00:00)
Title: Wivet patches

- cleaned up WIVET patch submitted by @guifre
- also fixes issue #58