code formatted by eclipse