cedet settings