crawljax/crawljax — pull request #70 by amesbah (2012-12-11 03:57:32+00:00)
Title: Fixes issue #55.

As suggested by Jelle in #55.