added CEDET stuff