Changeset 14378 in josm for trunk/src/org/openstreetmap/josm/plugins

Timestamp:

2018-10-28T17:09:16+01:00 (6 years ago)

Author:

Don-vip

Message:

fix #16907 - fix plugin manifest property name mismatch: use Plugin-Minimum-Java-Version

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java

@@ -247 +247 @@
             Logging.warn(tr("Missing plugin main version in plugin {0}", name));
         }
-        s = attr.getValue("Minimum-Java-Version");
+        s = attr.getValue("Plugin-Minimum-Java-Version");
         if (s != null) {
             try {