Use get and set annotations wrapper functions from SSL instead of directly calling the ATerm lib functions.
Use get and set annotations wrapper functions from SSL instead
of directly calling the ATerm lib functions.

svn path=/trunk/StrategoXT/; revision=9538

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