JButton editButton = new JButton(msg("edit"));
editButton.addActionListener(new ActionListener()
{
public void actionPerformed(ActionEvent e)
{
ClassSpecification selectedClassSpecification =
(ClassSpecification)list.getSelectedValue();
setClassSpecification(selectedClassSpecification);
int returnValue = classSpecificationDialog.showDialog();
if (returnValue == ClassSpecificationDialog.APPROVE_OPTION)