private XPathNodeIterator shortnamesToXML(string[] shortnames)
{
string query="";
foreach(var shortname in shortnames)
{
if(query!="") query+=" or ";
query+="string(short-name)='"+shortname+"'";
}
var issues_nav = plugin.issues.CreateNavigator();
return (XPathNodeIterator)issues_nav.Select("/be-xml/bug[" + query + "]");
}