Push eclipse-preferences