crawljax/crawljax — pull request #307 by alexnederlof (2013-07-09 14:41:48+00:00)
Title: Fixes/305 get upstripped dom

The other method is now called getStrippedDom for more clarification. Old method is deprecated.

Fixes #305