Index: trunk/tools/checkstyle/plugin.xml
===================================================================
--- trunk/tools/checkstyle/plugin.xml	(revision 19517)
+++ trunk/tools/checkstyle/plugin.xml	(revision 19519)
Index: trunk/tools/eclipse/formatter.xml
===================================================================
--- trunk/tools/eclipse/formatter.xml	(revision 19517)
+++ trunk/tools/eclipse/formatter.xml	(revision 19519)
Index: trunk/tools/pmd/josm-ruleset.xml
===================================================================
--- trunk/tools/pmd/josm-ruleset.xml	(revision 19517)
+++ trunk/tools/pmd/josm-ruleset.xml	(revision 19519)