X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWsParamSetManager.java;h=a8265039e4c4e38b58c6f16f08bef0117b8460ea;hb=c8441b851dcd36fbbc1c6bc64e16a64bda1f8359;hp=1aa080384334be109456473d54d50509cf4127e3;hpb=8b844f70b97629d597be49cb6ac0d83c8da007c9;p=jalview.git diff --git a/src/jalview/gui/WsParamSetManager.java b/src/jalview/gui/WsParamSetManager.java index 1aa0803..a826503 100644 --- a/src/jalview/gui/WsParamSetManager.java +++ b/src/jalview/gui/WsParamSetManager.java @@ -84,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) @@ -97,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]); @@ -177,12 +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) { + // TODO: JAL-3048 webservice - not required for Jalview-JS + JalviewFileChooser chooser = new JalviewFileChooser("wsparams", "Web Service Parameter File"); chooser.setFileView(new JalviewFileView()); @@ -193,8 +192,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")) { @@ -225,8 +224,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); @@ -299,9 +298,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); } }