Index: applications/editors/josm/plugins/reverter/build.xml
===================================================================
--- applications/editors/josm/plugins/reverter/build.xml	(revision 36474)
+++ applications/editors/josm/plugins/reverter/build.xml	(revision 36483)
Index: applications/editors/josm/plugins/reverter/src/reverter/RevertRedactedChangesetException.java
===================================================================
--- applications/editors/josm/plugins/reverter/src/reverter/RevertRedactedChangesetException.java	(revision 36474)
+++ applications/editors/josm/plugins/reverter/src/reverter/RevertRedactedChangesetException.java	(revision 36483)