public String toSummaryString(String title){
  StringBuffer result;
  result=new StringBuffer(title);
  if (title.length() != 0) {
    result.append("\n");
  }
  result.append(m_Result);
  return result.toString();
}

public String toSummaryString ( String title ) { StringBuffer result ; result = new StringBuffer ( title ) ; if ( title . length ( ) != 0 ) { result . append ( "\n" ) ; } result . append ( m_Result ) ; return result . toString ( ) ; }
returns a summary string of the evaluation with a default title
