JAL-4262 Allow HTML in the dialog box for link to CLI documentation

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

diff --git a/src/jalview/gui/RestServiceEditorPane.java b/src/jalview/gui/RestServiceEditorPane.java
index 2e2593b..8953626 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)
     {
@@ -363,7 +363,7 @@ public class RestServiceEditorPane extends GRestServiceEditorPane
                 mtch.group(2) + ":" + mtch.group(3), mtch.group(1),
                 mtch.group(2), mtch.group(3), inputTypes, warnings))
         {
-          System.err.println(
+          jalview.bin.Console.errPrintln(
                   "IMPLEMENTATION PROBLEM: Cannot parse RestService input parameter string '"
                           + its + "'" + "\n" + warnings);
         }
@@ -389,7 +389,7 @@ public class RestServiceEditorPane extends GRestServiceEditorPane
         } catch (Throwable x)
         {
 
-          System.err.println(
+          jalview.bin.Console.errPrintln(
                   "IMPLEMENTATION PROBLEM: Cannot parse RestService output parameter string '"
                           + its + "'" + "\n" + warnings);
         }
@@ -399,7 +399,7 @@ public class RestServiceEditorPane extends GRestServiceEditorPane
     }
     else
     {
-      System.err.println(
+      jalview.bin.Console.errPrintln(
               "IMPLEMENTATION PROBLEM: Restservice generated from GUI is invalid\n"
                       + warnings);
 
@@ -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;
           }