Updates the Eclipse preferences