docs: public synchronized Token[] toArray(Transaction transaction)
                      throws ObjectManagerException
      {
          // Throws ArrayIndexOutOfBoundsException if size is larger than Integer.MAX_VALUE,
          // because i++ will wrap and go negative.
          Token[] tokens = new Token[(int) size(transaction)];
          int i = 0;
          try {
              for (Iterator iterator = iterator();; tokens[i++] = (Token) iterator.next(transaction));
          } catch (java.util.NoSuchElementException exception) {
              // No FFDC code needed.
              // We have run off the end of the collection.
          } // try.
          return tokens;
      }