CARROT-1064: Update jflex to 1.5.1 (stable).