just formatting (and publishing the eclipse preferences)