diff --git a/build-common.properties b/build-common.properties index cfbfb090a7f..3dc7576ceae 100644 --- a/build-common.properties +++ b/build-common.properties @@ -4,7 +4,7 @@ ## ${basedir} is a child of checker-framework/, e.g. checker-framework/checker # The Checker Framework version number -build.version = 2.1.3 +build.version = 2.1.4 # 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 0658d2f78be..ba3c3d34f4e 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.3' + ext.checkerFrameworkVersion = '2.1.4' 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 5f5e94440eb..0104db4ce37 100644 --- a/checker/examples/MavenExample/pom.xml +++ b/checker/examples/MavenExample/pom.xml @@ -15,7 +15,7 @@ ${org.checkerframework:jdk8:jar} - 2.1.3 + 2.1.4 diff --git a/checker/manual/checker-framework-quick-start.html b/checker/manual/checker-framework-quick-start.html index 7366ebef71e..679df7860f9 100644 --- a/checker/manual/checker-framework-quick-start.html +++ b/checker/manual/checker-framework-quick-start.html @@ -22,7 +22,7 @@

Checker Framework quick start guide

To install the Checker Framework, download and unzip the Checker Framework distribution: -checker-framework-2.1.3.zip.
+checker-framework-2.1.4.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 14a7f98ea7a..176185d3e55 100644 --- a/checker/manual/checker-framework-webpage.html +++ b/checker/manual/checker-framework-webpage.html @@ -33,8 +33,8 @@

The Checker Framework