Added CEDET configuration