A Fork of CEDET