@Override public final String toString(){
  StringBuilder builder=new StringBuilder();
  toString(builder);
  return builder.toString();
}

@ Override public final String toString ( ) { StringBuilder builder = new StringBuilder ( ) ; toString ( builder ) ; return builder . toString ( ) ; }
returns a string representation of this property definition .
