Cedet loaded conditionally