Reference Eclipse formatter settings