am 00ceb87d: Fix for double breakpoint (issue 4378296)

* commit '00ceb87d1c57ccee59966be4deef1292a049285c':
  Fix for double breakpoint (issue 4378296)