Improved constant handling: - ensure lists are made into proper constants - check if preInit() was called - check if constants were made with the current term factory, or (at some extra runtime cost) convert them as necessary
Improved constant handling:
- ensure lists are made into proper constants
- check if preInit() was called
- check if constants were made with the current term factory, or (at some extra runtime cost) convert them as necessary

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

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