X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;fp=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=961caa761a52b82a1eef0d39f95a829974f29b95;hp=4aac062a209aff4d66777bdcca2f08b1a0a7c7bb;hb=f680b9a507cc1643c9eead990e15026c1eca4e6e;hpb=265e81c0b3599a09c312f17188e3a892e9d96c4e

diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java
index 4aac062..961caa7 100644
--- a/src/jalview/gui/WebserviceInfo.java
+++ b/src/jalview/gui/WebserviceInfo.java
@@ -359,7 +359,7 @@ public class WebserviceInfo extends GWebserviceInfo
       @Override
       public void internalFrameClosed(InternalFrameEvent evt)
       {
-        // System.out.println("Shutting down webservice client");
+        // jalview.bin.Console.outPrintln("Shutting down webservice client");
         WSClientI service = thisinfo.getthisService();
         if (service != null && service.isCancellable())
         {
@@ -626,8 +626,8 @@ public class WebserviceInfo extends GWebserviceInfo
               true, false);
       ((JEditorPane) ((JScrollPane) jobPanes.get(which)).getViewport()
               .getComponent(0))
-              .setText(ensureHtmlTagged(
-                      txt + getHtmlFragment(text, false, true)));
+                      .setText(ensureHtmlTagged(
+                              txt + getHtmlFragment(text, false, true)));
     }
     else
     {