diff -r 3be8a6bbc8b9 -r 3ad94aed2c26 tools/checkstyle.xml --- a/tools/checkstyle.xml Fri May 01 01:36:11 2015 +0200 +++ b/tools/checkstyle.xml Fri May 01 01:36:53 2015 +0200 @@ -156,16 +156,18 @@ - - - - - - - - + + + + + + + + + +