"Paste");\r
\r
if (jalview.io.FormatAdapter.formats.contains(format))\r
{\r
al = new Alignment(new FormatAdapter().readFile(\r
result.getAligfile(), "Paste", format));\r
"Paste");\r
\r
if (jalview.io.FormatAdapter.formats.contains(format))\r
{\r
al = new Alignment(new FormatAdapter().readFile(\r
result.getAligfile(), "Paste", format));\r