// ActionListeners for the buttons
parametersButton.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent evt) {
try {
options.sanityCheckAndUpdateParameters(null);
} catch (Exception ex) {
exec.appendJTextArea(ex.toString());
}
exec.appendJTextArea(options.toString());