crawljax/crawljax — pull request #415 by ivan-p92 (2014-05-01 13:27:16+00:00)
Title: Fix for #414

Fixes #414.