Merge "Add findbugs plugin."
Xavier Ducrohet [Wed, 6 Feb 2013 23:29:55 +0000 (23:29 +0000)]

Trivial merge