public String outputToString(TermData data) {return data.toString();}

public String outputToString ( TermData data ) { return data . toString ( ) ; }
public override string OutputToString(TermData data){return data.ToString();}
