changed formatting to JDT formatter