Updated the eclipse preferences file

To fix minor problems with the formatter