Upgrade cedet from 1.0.1 to 1.1