diff --git a/build-common.properties b/build-common.properties index 9bc67419666..400b2357b7d 100644 --- a/build-common.properties +++ b/build-common.properties @@ -8,7 +8,7 @@ checkerframework=${basedir}/.. # The Checker Framework version number -build.version = 2.1.13 +build.version = 2.1.14 # The location of the OpenJDK distribution to use; # must be a version that supports type annotations (JSR 308) diff --git a/docs/checker-framework-webpage.html b/docs/checker-framework-webpage.html index b6c579fdc8e..aedbcf21133 100644 --- a/docs/checker-framework-webpage.html +++ b/docs/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: 3 Jul 2017 +Last updated: 3 Aug 2017