Sync PLIST with upstream, mostly cedet changes.