modify the settings of cedet.