/**
* Called when there was a change in one of the breakpoints.
* The event contains the changed breakpoint.
*/
public void breakpointChanged(BreakpointChangedEvent event) {
Breakpoint p = event.getBreakpoint();
if(selectedRowIndex == -1)
breakpoints.addElement(p);
else
breakpoints.setElementAt(p,selectedRowIndex);
breakpointTable.revalidate();