crawljax/crawljax — pull request #137 by janab (2013-02-19 04:55:03+00:00)
Title: Fixing maximum crawl time

The maximum crawl time is the MaximumRunTime specified by the user from when the crawler has started.