JAL-3541 selectively merged build.gradle and gradle.properties

[jalview.git] / src / jalview / gui / RestServiceEditorPane.java

diff --git a/src/jalview/gui/RestServiceEditorPane.java b/src/jalview/gui/RestServiceEditorPane.java
index 2e2593b..cda76d9 100644 (file)
--- a/src/jalview/gui/RestServiceEditorPane.java
+++ b/src/jalview/gui/RestServiceEditorPane.java
@@ -147,9 +147,9 @@ public class RestServiceEditorPane extends GRestServiceEditorPane
 
   }
 
-  Vector<String> _iparam = new Vector<String>();
+  Vector<String> _iparam = new Vector<>();
 
-  Vector<String> _rparam = new Vector<String>();
+  Vector<String> _rparam = new Vector<>();
 
   /**
    * generate an editable URL service string and parameter list using the
@@ -351,7 +351,7 @@ public class RestServiceEditorPane extends GRestServiceEditorPane
 
   private boolean updateServiceFromGui()
   {
-    Map<String, InputType> inputTypes = new HashMap<String, InputType>();
+    Map<String, InputType> inputTypes = new HashMap<>();
     StringBuffer warnings = new StringBuffer();
     for (String its : _iparam)
     {
@@ -455,6 +455,10 @@ public class RestServiceEditorPane extends GRestServiceEditorPane
 
   }
 
+  /**
+   * @j2sIgnore
+   * @param args
+   */
   public static void main(String[] args)
   {
     if (args.length == 0)
@@ -463,6 +467,7 @@ public class RestServiceEditorPane extends GRestServiceEditorPane
       {
         boolean visible = true;
 
+        @Override
         public void run()
         {
           boolean nulserv = true;
@@ -514,7 +519,6 @@ public class RestServiceEditorPane extends GRestServiceEditorPane
               } catch (Exception x)
               {
               }
-              ;
             }
             visible = true;
           }