diff --git a/Microsoft.Research/ContractAdornments/Extension/source.extension.vsixmanifest b/Microsoft.Research/ContractAdornments/Extension/source.extension.vsixmanifest
index 40974ebb..8ade1851 100644
--- a/Microsoft.Research/ContractAdornments/Extension/source.extension.vsixmanifest
+++ b/Microsoft.Research/ContractAdornments/Extension/source.extension.vsixmanifest
@@ -3,7 +3,7 @@
   <Identifier Id="ContractAdornments.MicrosoftResearch.2fb66ab7-53ec-479b-bd35-e9dd5be0426b">
     <Name>Code Contracts Editor Extensions</Name>
     <Author>Microsoft Research</Author>
-    <Version>1.9.10709.0</Version>
+    <Version>1.9.10710.1</Version>
     <Description xml:space="preserve">Displays Code Contracts (when editing C#) in code, IntelliSense, and in metadata files.
 
 Inheritance:
diff --git a/Microsoft.Research/ManagedContract.Setup/VSIX/VS10.extension.vsixmanifest b/Microsoft.Research/ManagedContract.Setup/VSIX/VS10.extension.vsixmanifest
index 21ff337b..59a56afc 100644
--- a/Microsoft.Research/ManagedContract.Setup/VSIX/VS10.extension.vsixmanifest
+++ b/Microsoft.Research/ManagedContract.Setup/VSIX/VS10.extension.vsixmanifest
@@ -3,7 +3,7 @@
   <Identifier Id="CodeContractsVSIX.MicrosoftResearch.990ACB05-1AAE-4fa6-A178-9BF28206012F">
     <Name>Code Contracts Tools</Name>
     <Author>Microsoft Research</Author>
-    <Version>1.9.10709.0</Version>
+    <Version>1.9.10710.1</Version>
     <Description xml:space="preserve">Tools to instrument and statically analyze .NET code with CodeContracts</Description>
     <Locale>1033</Locale>
     <MoreInfoUrl>http://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970</MoreInfoUrl>
diff --git a/Microsoft.Research/ManagedContract.Setup/VSIX/VS11.extension.vsixmanifest b/Microsoft.Research/ManagedContract.Setup/VSIX/VS11.extension.vsixmanifest
index 4d59b636..89f7df04 100644
--- a/Microsoft.Research/ManagedContract.Setup/VSIX/VS11.extension.vsixmanifest
+++ b/Microsoft.Research/ManagedContract.Setup/VSIX/VS11.extension.vsixmanifest
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="utf-8"?>
 <PackageManifest Version="2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns="http://schemas.microsoft.com/developer/vsx-schema/2011" xmlns:d="http://schemas.microsoft.com/developer/vsx-schema-design/2011">
   <Metadata>
-    <Identity Version="1.9.10709.0" Id="CodeContractsVSIX.MicrosoftResearch.990ACB05-1AAE-4fa6-A178-9BF28206012F" Language="en" Publisher="Microsoft Research" />
+    <Identity Version="1.9.10710.1" Id="CodeContractsVSIX.MicrosoftResearch.990ACB05-1AAE-4fa6-A178-9BF28206012F" Language="en" Publisher="Microsoft Research" />
     <DisplayName>Code Contracts Tools</DisplayName>
     <Description xml:space="preserve">Tools to instrument and statically analyze .NET code with CodeContracts</Description>
     <MoreInfo>http://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970</MoreInfo>
diff --git a/Microsoft.Research/ManagedContract.Setup/VSIX/VS12.extension.vsixmanifest b/Microsoft.Research/ManagedContract.Setup/VSIX/VS12.extension.vsixmanifest
index cd264d06..067c7ee0 100644
--- a/Microsoft.Research/ManagedContract.Setup/VSIX/VS12.extension.vsixmanifest
+++ b/Microsoft.Research/ManagedContract.Setup/VSIX/VS12.extension.vsixmanifest
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="utf-8"?>
 <PackageManifest Version="2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns="http://schemas.microsoft.com/developer/vsx-schema/2011" xmlns:d="http://schemas.microsoft.com/developer/vsx-schema-design/2011">
   <Metadata>
-    <Identity Version="1.9.10709.0" Id="CodeContractsVSIX.MicrosoftResearch.990ACB05-1AAE-4fa6-A178-9BF28206012F" Language="en" Publisher="Microsoft Research" />
+    <Identity Version="1.9.10710.1" Id="CodeContractsVSIX.MicrosoftResearch.990ACB05-1AAE-4fa6-A178-9BF28206012F" Language="en" Publisher="Microsoft Research" />
     <DisplayName>Code Contracts Tools</DisplayName>
     <Description xml:space="preserve">Tools to instrument and statically analyze .NET code with CodeContracts</Description>
     <MoreInfo>http://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970</MoreInfo>
diff --git a/Microsoft.Research/ManagedContract.Setup/VSIX/VS14.extension.vsixmanifest b/Microsoft.Research/ManagedContract.Setup/VSIX/VS14.extension.vsixmanifest
index ed5add0b..e363fbf1 100644
--- a/Microsoft.Research/ManagedContract.Setup/VSIX/VS14.extension.vsixmanifest
+++ b/Microsoft.Research/ManagedContract.Setup/VSIX/VS14.extension.vsixmanifest
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="utf-8"?>
 <PackageManifest Version="2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns="http://schemas.microsoft.com/developer/vsx-schema/2011" xmlns:d="http://schemas.microsoft.com/developer/vsx-schema-design/2011">
   <Metadata>
-    <Identity Version="1.9.10709.0" Id="CodeContractsVSIX.MicrosoftResearch.990ACB05-1AAE-4fa6-A178-9BF28206012F" Language="en" Publisher="Microsoft Research" />
+    <Identity Version="1.9.10710.1" Id="CodeContractsVSIX.MicrosoftResearch.990ACB05-1AAE-4fa6-A178-9BF28206012F" Language="en" Publisher="Microsoft Research" />
     <DisplayName>Code Contracts Tools</DisplayName>
     <Description xml:space="preserve">Tools to instrument and statically analyze .NET code with CodeContracts</Description>
     <MoreInfo>http://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970</MoreInfo>
diff --git a/Microsoft.Research/common/include/version.cs b/Microsoft.Research/common/include/version.cs
index 89d4e755..4a393d35 100644
--- a/Microsoft.Research/common/include/version.cs
+++ b/Microsoft.Research/common/include/version.cs
@@ -1,9 +1,9 @@
 // Warning: Automatically generated file. DO NOT EDIT
-// Generated at Thursday, July 9, 2015 3:41:56 PM
+// Generated at Friday, July 10, 2015 5:56:22 PM
 
 using System.Reflection;
-[assembly: AssemblyVersion("1.9.10709.0")]
-[assembly: AssemblyFileVersion("1.9.10709.0")]
+[assembly: AssemblyVersion("1.9.10710.1")]
+[assembly: AssemblyFileVersion("1.9.10710.1")]
 [assembly: AssemblyCompany("Microsoft Corporation")]
 [assembly: AssemblyCopyright("(c) Microsoft Corporation.  All rights reserved.")]