diff --git a/build-common.properties b/build-common.properties
index 813abb0bd5f..d23658bedc8 100644
--- a/build-common.properties
+++ b/build-common.properties
@@ -8,7 +8,7 @@
checkerframework=${basedir}/..
# The Checker Framework version number
-build.version = 2.1.5
+build.version = 2.1.6
# The location of the OpenJDK distribution to use;
# must be a version that supports type annotations (JSR 308)
diff --git a/checker/examples/GradleExamples/GradleJava7Example/build.gradle b/checker/examples/GradleExamples/GradleJava7Example/build.gradle
index ad45e7cc6b9..614dd17f36e 100644
--- a/checker/examples/GradleExamples/GradleJava7Example/build.gradle
+++ b/checker/examples/GradleExamples/GradleJava7Example/build.gradle
@@ -29,7 +29,7 @@ configurations {
}
dependencies {
- ext.checkerFrameworkVersion = '2.1.5'
+ ext.checkerFrameworkVersion = '2.1.6'
ext.jdkVersion = JavaVersion.current().isJava7() ? 'jdk7' : 'jdk8'
checkerFrameworkAnnotatedJDK "org.checkerframework:${jdkVersion}:${checkerFrameworkVersion}"
diff --git a/checker/examples/MavenExample/pom.xml b/checker/examples/MavenExample/pom.xml
index 5aefc3b99c5..13bdeb7a314 100644
--- a/checker/examples/MavenExample/pom.xml
+++ b/checker/examples/MavenExample/pom.xml
@@ -15,7 +15,7 @@
To install the Checker Framework, download and unzip
the Checker Framework distribution:
-checker-framework-2.1.5.zip.
+checker-framework-2.1.6.zip.
Or, the
Checker Framework Live Demo
webpage lets you try the Checker Framework without installing it.
diff --git a/checker/manual/checker-framework-webpage.html b/checker/manual/checker-framework-webpage.html
index af2df8d0e8c..a5eb23c56c7 100644
--- a/checker/manual/checker-framework-webpage.html
+++ b/checker/manual/checker-framework-webpage.html
@@ -33,8 +33,8 @@
.class
file. The tools support both Java 5
declaration annotations and Java 8 type annotations.
-Last updated: 2 Nov 2016 +Last updated: 1 Dec 2016