protected @NotNull VirtualFilePointerManager createVirtualFilePointerManager() {
    return new CoreVirtualFilePointerManager();
  }
protected @NotNull VirtualFilePointerManager createVirtualFilePointerManager()