removed some unused cedet stuff