Add formatting options to Eclipse preferences