/// <summary>Called when an import has finished, whether successfully or not.</summary>
void ImportFinished(ImportedKey[] results)
{
TaskFinished();
if(results != null)
{
if(ImportCompleted != null) ImportCompleted(this, results);
PGPUI.ShowImportResults(results);
}
}
