testing stuff with JDT formatter