This file contains a bunch of preferences about warnings to show in Eclipse, so I'm not sure we should delete it