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;
}
}
return true;
}
+ /**
+ *
+ * @param args
+ * @j2sIgnore
+ */
public static void main(String[] args)
{
for (int i = 0; args != null && i < args.length; i++)