add eclipse workspace preferences