Removing ignore since it's pointless... instead everyone should be
assuming web.xml is unchanged