crawljax/crawljax — pull request #76 by amesbah (2012-12-18 08:04:47+00:00)
Title: fixes issues #52 and #53, resolved typo in StateVertix -> StateVertex.

* fixes issues #52 and #53 (related to serializability)
* renamed "StateVertix" to StateVertex