update to new jflex