// ----------------------------------------------------------------------
public Program()
{
settings = new ProgramSettings();
}
// ----------------------------------------------------------------------
public Program()
{
settings = new ProgramSettings();
} // Program
