test some more eclipse autoformat options