This looks like an auto-generated file. Should we really be checking it in?