/Util/VS2010/Dafny/DafnyLanguageService/Resources/