Polymorphic return type for Tools.termAt.
Polymorphic return type for Tools.termAt.

svn path=/strc-java/trunk/; revision=19814

lichtemo/strategoxt,Apanatshka/strategoxt,metaborg/strategoxt,metaborg/strategoxt,lichtemo/strategoxt,Apanatshka/strategoxt,metaborg/strategoxt,metaborg/strategoxt,lichtemo/strategoxt,Apanatshka/strategoxt,Apanatshka/strategoxt,Apanatshka/strategoxt,metaborg/strategoxt,lichtemo/strategoxt,lichtemo/strategoxt