The settings of my eclipse installation.