(Deliver eclipse formatter settings)