Make eclipse happy, updated idemixService package