1. 2
  1.  

  2. 2

    I used to get excited about such tools. Then I realised that what I really wanted was an extensible type system, and switched to using the checkers framework. Then I realised I needed it to be fully integrated into the language, not an external tool, and I switched to scala.