/// <summary>
/// Remove the information associated to a stale workspace from the
/// database.
/// </summary>
private void RemoveOneStaleKwsFromDb(UInt64 id)
{
// Create a temporary workspace object and ask it to delete the
// database data.
Workspace kws = new Workspace(m_wm, null, id, null);
kws.DeleteDbData();
m_wm.SetDirty();
}