JAL-4045 - don't apply distribution dependent scale factor to the axis lines!

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

diff --git a/src/jalview/gui/WsParamSetManager.java b/src/jalview/gui/WsParamSetManager.java
index 4c76714..3c9f65c 100644 (file)
--- a/src/jalview/gui/WsParamSetManager.java
+++ b/src/jalview/gui/WsParamSetManager.java
@@ -21,6 +21,7 @@
 package jalview.gui;
 
 import jalview.bin.Cache;
+import jalview.bin.Console;
 import jalview.io.JalviewFileChooser;
 import jalview.io.JalviewFileView;
 import jalview.util.MessageManager;
@@ -106,7 +107,7 @@ public class WsParamSetManager implements ParamManager
         }
       } catch (IOException e)
       {
-        Cache.info("Failed to parse parameter file " + pfile
+        Console.info("Failed to parse parameter file " + pfile
                 + " (Check that all JALVIEW_WSPARAMFILES entries are valid!)",
                 e);
       }
@@ -147,8 +148,8 @@ public class WsParamSetManager implements ParamManager
         if (parser != null)
         {
           WsParamSetI pset = parser.parseServiceParameterFile(
-                  wspset.getName(), wspset.getDescription(),
-                  urlArray, wspset.getParameters());
+                  wspset.getName(), wspset.getDescription(), urlArray,
+                  wspset.getParameters());
           if (pset != null)
           {
             pset.setSourceFile(filename);
@@ -171,7 +172,7 @@ public class WsParamSetManager implements ParamManager
     {
       if (filename != null && !((outfile = new File(filename)).canWrite()))
       {
-        Cache.warn("Can't write to " + filename
+        Console.warn("Can't write to " + filename
                 + " - Prompting for new file to write to.");
         filename = null;
       }
@@ -218,8 +219,7 @@ public class WsParamSetManager implements ParamManager
     }
     if (outfile != null)
     {
-      String paramFiles = Cache.getDefault("WS_PARAM_FILES",
-              filename);
+      String paramFiles = Cache.getDefault("WS_PARAM_FILES", filename);
       if (paramFiles.indexOf(filename) == -1)
       {
         if (paramFiles.length() > 0)
@@ -255,7 +255,7 @@ public class WsParamSetManager implements ParamManager
         parameterSet.setSourceFile(filename);
       } catch (Exception e)
       {
-        Cache.error("Couldn't write parameter file to " + outfile, e);
+        Console.error("Couldn't write parameter file to " + outfile, e);
       }
     }
   }
@@ -320,7 +320,7 @@ public class WsParamSetManager implements ParamManager
       }
     } catch (Exception e)
     {
-      Cache.error(
+      Console.error(
               "Exception when trying to delete webservice user preset: ",
               e);
     }