Issue 6967: 	Breakpoints display persists after switching the source file