Ensure that the input is in a file, since it will be read twice, which does not work if the input is stdin.
Ensure that the input is in a file, since it will be read twice, which
does not work if the input is stdin.


svn path=/strategoxt/trunk/; revision=15492

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