add plugin cedet 1.0.1 and ecb 2.40