fix source positions in the EclipseDebugObserver