Update Eclipse settings for version 2020-03 (4.15.0)

Also clean up old unused settings files or files that were copied by
accident.

Change-Id: Ie725663cb542dafd7c5e7cfa1088eef7323e11d0
3 files changed