@Override public String toString(){
  return toString(OutputOption.defaultFormatOptions);
}

@ Override public String toString ( ) { return toString ( OutputOption . defaultFormatOptions ) ; }
default tostring . normally not used
