Update CEDET settings.