This file is automatically generated, and can be removed from the commit.