public interface TreeTextProvider
java.lang.String
getText(Tree node)
java.lang.String getText(Tree node)