upgraded to eclipse 4.3 and applied with default format