try {
File temp = unpackPluginXML(f);
if (temp == null)
return null; // Couldn't find the plugin.xml file
ManifestInfo mi = PluginCore.getManager().getRegistry().
readManifestInfo(temp.toURI().toURL());
temp.delete();
return new String[] {mi.getId(), mi.getVersion().toString()};
} catch (MalformedURLException e) {
e.printStackTrace();
return null;
} catch (ManifestProcessingException e) {
return null; // Couldn't make sense of the plugin.xml