changes made by eclipse auto formatting