Method copy

basex-core/src/main/java/org/basex/util/options/Option.java:40–42

Copies mutable default values. Otherwise, returns the existing instance. @return default value

()

   * @return default value
   */
  public O copy() {
    return value();
  }

  @Override
  public String toString() {