reformat with eclipse formatter