code: public void breakpointManagerEnablementChanged(boolean enabled)
  	{
  		IBreakpoint[] breakpoints = getBreakpointManager().getBreakpoints(target.getModelIdentifier());
  
  		final IDbgpSession[] sessions = getSessions();
  		for (int i = 0; i < breakpoints.length; ++i)
  		{
  			try
  			{
  				final IBreakpoint breakpoint = breakpoints[i];
  				if (breakpoint instanceof IVdmBreakpoint)
  				{
  					for (int j = 0; j < sessions.length; ++j)
  					{
  						changeBreakpoint(sessions[j], (IVdmBreakpoint) breakpoint);
  					}
  				}
  			} catch (Exception e)
  			{
  				VdmDebugPlugin.log(e);
  			}
  		}
  	}
docs: IBreakpointManagerListener