crawljax/crawljax — pull request #186 by mackenzieajudd (2013-03-25 14:45:44+00:00)
Title: Made some changes to output. 

Most importantly file writing now uses outputWriter.newLine() and a tally of checked elements is now written to the top of the file.