add Eclipse 4.4.1 preferences