if (source.inFile != null)
{
String fileStr = source.inFile.getName();
- // possibly a Jalview archive.
- if (fileStr.lastIndexOf(".jar") > -1
- || fileStr.lastIndexOf(".zip") > -1)
+ if (fileStr.contains(".jar")
+ || fileStr.contains(".zip") || fileStr.contains(".jvp"))
{
+ // possibly a Jalview archive (but check further)
reply = FileFormat.Jalview;
}
}
if (!lineswereskipped && data.startsWith("PK"))
{
- reply = FileFormat.Jalview; // archive.
+ reply = FileFormat.Jalview; // archive
break;
}
}