Fix formatting please (see other note about importing our default Eclipse prefs).