/** 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); }