Setup using StatET with eclipse