private void loadSavedOptions(StorageSystem ss, String tid)
{
String value = ss.getProperty(tid, TaskProperty.THREADS.ToString());
if(value != null) TextBox1.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.FRONTIER.ToString());
if (value != null) DropDownList1.SelectedValue = value.Trim();
DropDownList1_SelectedIndexChanged(null, null);
value = ss.getProperty(tid, TaskProperty.CAT_ALPHA.ToString());
if (value != null) TextBox2.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.CAT_BETA.ToString());
if (value != null) TextBox3.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.CAT_GAMMA.ToString());
if (value != null) TextBox4.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.CAT_MIN.ToString());
if (value != null) TextBox5.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.CAT_PENLTY.ToString());
if (value != null) TextBox6.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.NER_ALPHA.ToString());
if (value != null) TextBox12.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.NER_BETA.ToString());
if (value != null) TextBox13.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.NER_GAMMA.ToString());
if (value != null) TextBox14.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.NER_MIN.ToString());
if (value != null) TextBox15.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.NER_PENLTY.ToString());
if (value != null) TextBox16.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.ANC_ALPHA.ToString());
if (value != null) TextBox17.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.ANC_BETA.ToString());
if (value != null) TextBox18.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.ANC_GAMMA.ToString());
if (value != null) TextBox19.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.ANC_MIN.ToString());
if (value != null) TextBox20.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.ANC_PENLTY.ToString());
if (value != null) TextBox21.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.RAN_ALPHA.ToString());
if (value != null) TextBox22.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.RAN_BETA.ToString());
if (value != null) TextBox23.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.RAN_GAMMA.ToString());
if (value != null) TextBox24.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.RAN_DELTA.ToString());
if (value != null) TextBox25.Text = value.Trim();
value = ss.getProperty(tid, TaskProperty.RAN_NEARBY.ToString());
if (value != null) TextBox26.Text = value.Trim();
}
