Following the given advice, I have upgraded cedet (and related packages) from 1:1.0pre3-7 to 1:1.0pre4-1. It seems to have solved the problem.
Thanks 4 your help. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]