/** Sets the breakpoints list with the given one. */
public void setBreakpoints(Collection<Breakpoint> breakpoints) {
// sending the given Vector to the breakpoint panel.
breakpointWindow.setBreakpoints(breakpoints);
}
/** Sets the breakpoints list with the given one. */
public void setBreakpoints(Collection<Breakpoint> breakpoints) {
// sending the given Vector to the breakpoint panel.
breakpointWindow.setBreakpoints(breakpoints);
}
