new expressions in JEXL

[Carlos Durán]

Hi,I need some help for these doubts:
-Which is the tool used for .jj and .jjt files?
-How could I add new valid expressions in JEXL? Specifically I want to add
forall and exists expressions to JEXL syntax.

Thank you in advance.