* @return the file holding the response
* @throws OutOfMemoryError
*/
- public File fetchDataAsFile(String ids, String f, String s)
+ public File fetchDataAsFile(String ids, String f, String s, String ext)
throws OutOfMemoryError
{
File outFile = null;
try
{
- outFile = File.createTempFile("jalview", ".xml");
+ outFile = File.createTempFile("jalview", ext);
outFile.deleteOnExit();
fetchData(ids, f, s, outFile);
if (outFile.length() == 0)