revision of chapter on jflex