crawljax/crawljax — pull request #333 by jeremyhewett (2013-08-16 20:29:34+00:00)
Title: Web ui plugin integration

Hi Alex, could you pull these changes into web-ui-plugin-support but still leave web-ui-plugin-integration open, thanks a lot.