// Note that breakpoint commands (actions) are not handled by the backend 
		// which is why we don't check for changes here
// Note that breakpoint commands (actions) are not handled by the backend 
		// which is why we don't check for changes here | GDBBreakpoints_7_0.java