Ignore:
Timestamp:
2013-07-26T13:38:17+02:00 (7 years ago)
Author:
bastiK
Message:

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

Location:
trunk/src/org/openstreetmap/josm/plugins
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

    r6083 r6084  
    145145        }
    146146
     147        @Override
    147148        public int compareTo(DeprecatedPlugin o) {
    148149            return name.compareTo(o.name);
     
    575576                    toLoad,
    576577                    new Comparator<PluginInformation>() {
     578                        @Override
    577579                        public int compare(PluginInformation o1, PluginInformation o2) {
    578580                            if (o1.stage < o2.stage) return -1;
     
    973975
    974976        final File[] files = pluginDir.listFiles(new FilenameFilter() {
     977            @Override
    975978            public boolean accept(File dir, String name) {
    976979                return name.endsWith(".jar.new");
     
    11991202            pluginTab.add(Box.createHorizontalGlue(), GBC.std().fill(GBC.HORIZONTAL));
    12001203            pluginTab.add(new JButton(new AbstractAction(tr("Information")) {
     1204                @Override
    12011205                public void actionPerformed(ActionEvent event) {
    12021206                    StringBuilder b = new StringBuilder();
  • trunk/src/org/openstreetmap/josm/plugins/PluginPreferenceFactory.java

    r3083 r6084  
    1313    }
    1414
     15    @Override
    1516    public PreferenceSetting createPreferenceSetting() {
    1617        return plugin.getPreferenceSetting();
  • trunk/src/org/openstreetmap/josm/plugins/ReadLocalPluginInformationTask.java

    r5836 r6084  
    7474        File[] siteCacheFiles = pluginsDirectory.listFiles(
    7575                new FilenameFilter() {
     76                    @Override
    7677                    public boolean accept(File dir, String name) {
    7778                        return name.matches("^([0-9]+-)?site.*\\.txt$");
     
    99100        File[] siteCacheFiles = pluginsDirectory.listFiles(
    100101                new FilenameFilter() {
     102                    @Override
    101103                    public boolean accept(File dir, String name) {
    102104                        return name.matches("^([0-9]+-)?site.*plugin-icons\\.zip$");
     
    127129        File[] pluginFiles = pluginsDirectory.listFiles(
    128130                new FilenameFilter() {
     131                    @Override
    129132                    public boolean accept(File dir, String name) {
    130133                        return name.endsWith(".jar") || name.endsWith(".jar.new");
  • trunk/src/org/openstreetmap/josm/plugins/ReadRemotePluginInformationTask.java

    r5926 r6084  
    331331            File [] f = new File(location).listFiles(
    332332                    new FilenameFilter() {
     333                        @Override
    333334                        public boolean accept(File dir, String name) {
    334335                            return name.matches("^([0-9]+-)?site.*\\.txt$") ||
Note: See TracChangeset for help on using the changeset viewer.