@Override
      public @Nullable String valueOf(int idx) throws IOException {
        return PersistentStringEnumerator.super.valueOf(idx);
      }
@Override
      public @Nullable String valueOf(int idx)