private static @NotNull Collection<VirtualFilePointer> dumpAllPointers() {
    return ((VirtualFilePointerManagerImpl)VirtualFilePointerManager.getInstance()).dumpAllPointers();
  }
private static @NotNull Collection<VirtualFilePointer> dumpAllPointers()