diff -r 9c08b0277c58 -r 67d1680588db tools/checkstyle.xml --- a/tools/checkstyle.xml Tue Dec 15 21:12:51 2009 +0100 +++ b/tools/checkstyle.xml Wed Dec 16 00:54:42 2009 +0100 @@ -87,7 +87,7 @@ - +