CEDET is not TODO any more