Configure Xtext to use Java (not Xtend). Set up Lustre/JKind grammar.