../jflex/delete.list