X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWsParamSetManager.java;fp=src%2Fjalview%2Fgui%2FWsParamSetManager.java;h=d91775caffbded70dc062b576c630538a18b97de;hb=f063821ed0be9c1581af74643a1aa5798731af65;hp=80798c6d2e4f3b88ca63873cb4e20c2aada2d3c2;hpb=fd18e2c73cd015d4e38ad91da0e5d7532ff0ef42;p=jalview.git diff --git a/src/jalview/gui/WsParamSetManager.java b/src/jalview/gui/WsParamSetManager.java index 80798c6..d91775c 100644 --- a/src/jalview/gui/WsParamSetManager.java +++ b/src/jalview/gui/WsParamSetManager.java @@ -39,8 +39,6 @@ import java.util.Hashtable; import java.util.List; import java.util.StringTokenizer; -import javax.swing.JOptionPane; - /** * store and retrieve web service parameter sets. * @@ -86,8 +84,8 @@ public class WsParamSetManager implements ParamManager { add = true; } - add &= (modifiable == p.isModifiable() || unmodifiable == !p - .isModifiable()); + add &= (modifiable == p.isModifiable() + || unmodifiable == !p.isModifiable()); add &= name == null || p.getName().equals(name); if (add) @@ -99,11 +97,9 @@ public class WsParamSetManager implements ParamManager } } catch (IOException e) { - Cache.log - .info("Failed to parse parameter file " - + pfile - + " (Check that all JALVIEW_WSPARAMFILES entries are valid!)", - e); + Cache.log.info("Failed to parse parameter file " + pfile + + " (Check that all JALVIEW_WSPARAMFILES entries are valid!)", + e); } } return params.toArray(new WsParamSetI[0]); @@ -179,15 +175,13 @@ public class WsParamSetManager implements ParamManager } if (parser == null) { - throw new Error( - MessageManager - .getString("error.implementation_error_cannot_find_marshaller_for_param_set")); + throw new Error(MessageManager.getString( + "error.implementation_error_cannot_find_marshaller_for_param_set")); } if (filename == null) { - JalviewFileChooser chooser = new JalviewFileChooser( - Cache.getProperty("LAST_DIRECTORY"), "wsparams", - "Web Service Parameter File", "Web Service Parameter File"); + JalviewFileChooser chooser = new JalviewFileChooser("wsparams", + "Web Service Parameter File"); chooser.setFileView(new JalviewFileView()); chooser.setDialogTitle(MessageManager .getString("label.choose_filename_for_param_file")); @@ -196,8 +190,8 @@ public class WsParamSetManager implements ParamManager if (value == JalviewFileChooser.APPROVE_OPTION) { outfile = chooser.getSelectedFile(); - jalview.bin.Cache - .setProperty("LAST_DIRECTORY", outfile.getParent()); + jalview.bin.Cache.setProperty("LAST_DIRECTORY", + outfile.getParent()); filename = outfile.getAbsolutePath(); if (!filename.endsWith(".wsparams")) { @@ -228,8 +222,8 @@ public class WsParamSetManager implements ParamManager paramxml.setVersion("1.0"); try { - paramxml.setParameters(parser - .generateServiceParameterFile(parameterSet)); + paramxml.setParameters( + parser.generateServiceParameterFile(parameterSet)); PrintWriter out = new PrintWriter(new OutputStreamWriter( new FileOutputStream(outfile), "UTF-8")); paramxml.marshal(out); @@ -302,9 +296,9 @@ public class WsParamSetManager implements ParamManager } } catch (Exception e) { - Cache.log - .error("Exception when trying to delete webservice user preset: ", - e); + Cache.log.error( + "Exception when trying to delete webservice user preset: ", + e); } }