Update CEDET