Changeset 6084 in josm for trunk/src/org/openstreetmap/josm/tools/Diff.java

Timestamp:

2013-07-26T13:38:17+02:00 (11 years ago)

Author:

bastiK

Message:

see #8902 - add missing @Override annotations (patch by shinigami)

File:

• trunk/src/org/openstreetmap/josm/tools/Diff.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/tools/Diff.java

@@ -407 +407 @@
 
     static class ReverseScript implements ScriptBuilder {
+        @Override
         public  change build_script(
                 final boolean[] changed0,int len0,
@@ -440 +441 @@
         /** Scan the tables of which lines are inserted and deleted,
        producing an edit script in forward order.  */
+        @Override
         public change build_script(
                 final boolean[] changed0,int len0,