@Override public String toString(){
  return defaultFormatter.format(this,Locale.getDefault());
}

@ Override public String toString ( ) { return defaultFormatter . format ( this , Locale . getDefault ( ) ) ; }
return the standard presentation of this diagnostic .
