diff -r b76c110b3c73 -r 3f4c77587fb9 tools/checkstyle.xml --- a/tools/checkstyle.xml Mon Jan 07 14:42:41 2013 +0100 +++ b/tools/checkstyle.xml Mon Jan 07 21:09:26 2013 +0100 @@ -345,7 +345,9 @@ - + + +