Remove obsolete Eclipse custom settings
[ci skip]