eclipse - options formatage