void LoadAddinInfo()
{
if (addin == null) {
try {
AddinDescription m = Description;
sourceFile = m.AddinFile;
addin = AddinInfo.ReadFromDescription (m);
} catch (Exception ex) {
throw new InvalidOperationException ("Could not read add-in file: " + database.GetDescriptionPath (domain, id), ex);
}
}
}