require JSDT from wtp 3.5.2