@Override
      public void fileContentReloaded(@NotNull VirtualFile file, @NotNull Document document) {
        myExecutionPointManager.updateExecutionPosition(file, true);
      }
@Override
      public void fileContentReloaded(@NotNull VirtualFile file, @NotNull Document document)