CEDET settings