private void UpdateAspectsTab()
{
aspectListBox1.ClearSelected();
aspectListBox1.Items.Clear();
List <string> names = Aspect.GetAspectNames();
foreach (string name in names)
{
aspectListBox1.Items.Add(name);
}
}