Yes, it's to quiet a warning. Because the test code now gets loaded into Eclipse as part of the project, you can see all the warnings in the test code in the marker box, and this line generates a warning for the unused local. 

It doesn't look like anything interesting happens in the constructor for `Verifier`, so as far as I could see this line is effectively a no-op... perhaps I'm missing something?