text: public String toString(){StringBuilder buffer = new StringBuilder();buffer.append( "[TopMargin]\n" );buffer.append( "    .margin               = " ).append( " (" ).append( getMargin() ).append( " )\n" );buffer.append( "[/TopMargin]\n" );return buffer.toString();}