code: public void breakpointAdded(IBreakpoint breakpoint)
  	{
  		if (!supportsBreakpoint(breakpoint))
  		{
  			return;
  		}
  		try
  		{
  			final IDbgpSession[] sessions = getSessions();
  			for (int i = 0; i < sessions.length; ++i)
  			{
  
  				addBreakpoint(sessions[i], (IVdmBreakpoint) breakpoint);
  
  			}
  		} catch (Exception e)
  		{
  			VdmDebugPlugin.log(e);
  		}
  	}
docs: IBreakpointListener