JButton optimizerbut = new JButton("Configure optimizer...");
optimizerbut.addActionListener(new ActionListener()
{
public void actionPerformed(ActionEvent e)
{
OptimizerConfig optConfig = new OptimizerConfig();
optConfig.initialize();
optimizerFrame = new OptimizerConfigFrame(optConfig);
optimizerFrame.setCloseListener(new ActionListener()
{
public void actionPerformed(ActionEvent ev)