private void classListBox_SelectedIndexChanged(object sender, EventArgs e)
{
string className = classListBox.SelectedItem as string;
List<string> props = classList[className].properties.Keys.Except(extantProps).ToList();
props.Sort();
propListBox.DataSource = props;
}