My useful plugins for Crawljax. :-)