Updated CEDET configuration