gitdir: ../.git/modules/webtools.jsdt
