Ignorar ficheros de preferencias de eclipse