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

Timestamp:

2019-12-13T00:48:33+01:00 (5 years ago)

Author:

Don-vip

Message:

code cleanup

Location:

trunk/src/org/openstreetmap/josm/plugins

Files:

• PluginHandler.java (modified) (4 diffs)
• PluginInformation.java (modified) (1 diff)

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

@@ -487 +487 @@
         }
 
-        ButtonSpec[] options = new ButtonSpec[] {
+        ButtonSpec[] options = {
                 new ButtonSpec(
                         tr("Update plugins"),
@@ -564 +564 @@
           .append(Utils.joinAsHtmlUnorderedList(missingRequiredPlugin))
           .append("</html>");
-        ButtonSpec[] specs = new ButtonSpec[] {
+        ButtonSpec[] specs = {
                 new ButtonSpec(
                         tr("Download and restart"),
@@ -1207 +1207 @@
      */
     public static boolean confirmDisablePlugin(Component parent, String reason, String name) {
-        ButtonSpec[] options = new ButtonSpec[] {
+        ButtonSpec[] options = {
                 new ButtonSpec(
                         tr("Disable plugin"),
@@ -1420 +1420 @@
 
     private static int askUpdateDisableKeepPluginAfterException(PluginProxy plugin) {
-        final ButtonSpec[] options = new ButtonSpec[] {
+        final ButtonSpec[] options = {
                 new ButtonSpec(
                         tr("Update plugin"),

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

@@ -439 +439 @@
         Collection<String> locations = getPluginLocations();
 
-        String[] nameCandidates = new String[] {
+        String[] nameCandidates = {
                 pluginName,
                 pluginName + "-" + PlatformManager.getPlatform().getPlatform().name().toLowerCase(Locale.ENGLISH)};