TFILES =  \
	CheckMarkRecognizer.java \
	NonTerminal.java \
	SequenceTerminal.java \
	Terminal.java

GFILES = 