private static @NotNull Place getShreds(@NotNull DocumentWindow document) {
    return ((DocumentWindowImpl)document).getShreds();
  }
private static @NotNull Place getShreds(@NotNull DocumentWindow document)