Fix updating Eclipse settings for apt-generated source directories

Change-Id: I152019d6f5c20ae9e563483dfff1f7849bbc4f9d