Marked as a duplicate of #93667, since it wil be fixed once the new cedet package gets synced from Debian.
Marked as a duplicate of #93667, since it wil be fixed once the new cedet package gets synced from Debian.