Fix jflex plugin definition.