From 666dd402a4a63ee2dff1a0517790b4edfe5d51c5 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Sun, 4 Nov 2018 21:50:37 -0800
Subject: [PATCH] new release 2.5.7

---
 docs/checker-framework-webpage.html              |  8 ++++----
 docs/examples/MavenExample/pom.xml               |  2 +-
 docs/manual/external-tools.tex                   | 16 ++++++++--------
 docs/manual/introduction.tex                     |  2 +-
 docs/manual/manual.tex                           |  4 ++--
 .../tests/testdemo/check-tainting.0.expected     |  2 +-
 docs/tutorial/webpages/security-error-cmd.html   |  6 +++---
 maven-artifacts/poms/checkerPom.xml              |  2 +-
 maven-artifacts/poms/checkerQualAndroidPom.xml   |  2 +-
 maven-artifacts/poms/checkerQualPom.xml          |  2 +-
 maven-artifacts/poms/dataflowPom.xml             |  4 ++--
 maven-artifacts/poms/frameworktestPom.xml        |  4 ++--
 maven-artifacts/poms/javacutilPom.xml            |  2 +-
 maven-artifacts/poms/jdk8Pom.xml                 |  2 +-
 .../release/checkerQualAndroidReleasePom.xml     |  2 +-
 .../release/checkerQualReleasePom.xml            |  2 +-
 maven-artifacts/release/checkerReleasePom.xml    |  2 +-
 maven-artifacts/release/dataflowReleasePom.xml   |  6 +++---
 .../release/frameworktestReleasePom.xml          |  4 ++--
 maven-artifacts/release/javacutilReleasePom.xml  |  4 ++--
 maven-artifacts/release/jdk8ReleasePom.xml       |  2 +-
 21 files changed, 40 insertions(+), 40 deletions(-)

diff --git a/docs/checker-framework-webpage.html b/docs/checker-framework-webpage.html
index 493df587649..b11f86ae797 100644
--- a/docs/checker-framework-webpage.html
+++ b/docs/checker-framework-webpage.html
@@ -33,8 +33,8 @@ <h1>The Checker Framework</h1>
 
 <ul>
   <li>
-    Download: <a href="checker-framework-2.5.6.zip"><!-- checker-framework-zip-version -->checker-framework-2.5.6.zip<!-- /checker-framework-zip-version --></a>
-    (<!-- checker-framework-date -->3 Oct 2018<!-- /checker-framework-date -->);
+    Download: <a href="checker-framework-2.5.7.zip"><!-- checker-framework-zip-version -->checker-framework-2.5.7.zip<!-- /checker-framework-zip-version --></a>
+    (<!-- checker-framework-date -->4 Nov 2018<!-- /checker-framework-date -->);
     includes source, platform-independent binary, tests, and documentation.<br/>
     Then, see the <a
     href="manual/#installation"><b>installation
@@ -96,7 +96,7 @@ <h1>The Checker Framework</h1>
           the <code>.class</code> file.  The tools support both Java 5
           declaration annotations and Java 8 type annotations.
         <ul>
-          <li><a href="annotation-file-utilities/annotation-tools-3.8.1.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.8.1.zip<!-- /annotation-tools-zip-version --></a> (<!-- afu-date -->03 Oct 2018<!-- /afu-date -->)
+          <li><a href="annotation-file-utilities/annotation-tools-3.8.2.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.8.2.zip<!-- /annotation-tools-zip-version --></a> (<!-- afu-date -->04 Nov 2018<!-- /afu-date -->)
           </li>
           <li><a href="https://github.com/typetools/annotation-tools/">source code repository</a>
           </li>
@@ -226,7 +226,7 @@ <h3 id="mailing-lists">Mailing lists</h3>
 <hr />
 
 <p>
-Last updated: <!-- checker-framework-date -->3 Oct 2018<!-- /checker-framework-date -->
+Last updated: <!-- checker-framework-date -->4 Nov 2018<!-- /checker-framework-date -->
 </p>
 
 </body>
diff --git a/docs/examples/MavenExample/pom.xml b/docs/examples/MavenExample/pom.xml
index 5bafeffa28a..199296dd93f 100644
--- a/docs/examples/MavenExample/pom.xml
+++ b/docs/examples/MavenExample/pom.xml
@@ -14,7 +14,7 @@
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
     <!-- These properties will be set by the Maven Dependency plugin -->
     <annotatedJdk>${org.checkerframework:jdk8:jar}</annotatedJdk>
-    <checkerFrameworkVersion><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></checkerFrameworkVersion>
+    <checkerFrameworkVersion><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></checkerFrameworkVersion>
   </properties>
 
   <dependencies>
diff --git a/docs/manual/external-tools.tex b/docs/manual/external-tools.tex
index 6b79c24b914..2a85a51372b 100644
--- a/docs/manual/external-tools.tex
+++ b/docs/manual/external-tools.tex
@@ -108,7 +108,7 @@ \section{Android Studio 3.0 and the Android Gradle Plugin 3.0\label{android-grad
 \begin{Verbatim}
 dependencies {
     ... existing dependencies...
-    ext.checkerFrameworkVersion = '2.5.6'
+    ext.checkerFrameworkVersion = '2.5.7'
     implementation "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
     annotationProcessor "org.checkerframework:checker:${checkerFrameworkVersion}"
     checkerFrameworkAnnotatedJDK "org.checkerframework:jdk8:${checkerFrameworkVersion}"
@@ -261,13 +261,13 @@ \section{Buck\label{buck}}
 \begin{Verbatim}
 prebuilt_jar(
     name = 'checker-framework',
-    binary_jar = 'checker-2.5.6.jar',
+    binary_jar = 'checker-2.5.7.jar',
     visibility = [ 'PUBLIC' ]
 )
 
 prebuilt_jar(
     name = 'checker-qual',
-    binary_jar = 'checker-qual-2.5.6.jar',
+    binary_jar = 'checker-qual-2.5.7.jar',
     visibility = [ 'PUBLIC' ]
 )
 
@@ -460,14 +460,14 @@ \section{Javac compiler\label{javac-installation}}
   \item
     Option 1:
     Add directory
-    \code{.../checker-framework-2.5.6/checker/bin} to your path, \emph{before} any other
+    \code{.../checker-framework-2.5.7/checker/bin} to your path, \emph{before} any other
     directory that contains a \<javac> executable.
 
     If you are
     using the bash shell, a way to do this is to add the following to your
     \verb|~/.profile| (or alternately \verb|~/.bash_profile| or \verb|~/.bashrc|) file:
 \begin{Verbatim}
-  export CHECKERFRAMEWORK=${HOME}/checker-framework-2.5.6
+  export CHECKERFRAMEWORK=${HOME}/checker-framework-2.5.7
   export PATH=${CHECKERFRAMEWORK}/checker/bin:${PATH}
 \end{Verbatim}
     then log out and back in to ensure that the environment variable
@@ -491,7 +491,7 @@ \section{Javac compiler\label{javac-installation}}
     \verb|~/.bashrc| file:
 % No Windows example because this doesn't work under Windows.
 \begin{Verbatim}
-  export CHECKERFRAMEWORK=${HOME}/checker-framework-2.5.6
+  export CHECKERFRAMEWORK=${HOME}/checker-framework-2.5.7
   alias javacheck='$CHECKERFRAMEWORK/checker/bin/javac'
 \end{Verbatim}
 
@@ -510,11 +510,11 @@ \section{Javac compiler\label{javac-installation}}
 
 \begin{Verbatim}
   # Unix
-  export CHECKERFRAMEWORK=${HOME}/checker-framework-2.5.6
+  export CHECKERFRAMEWORK=${HOME}/checker-framework-2.5.7
   alias javacheck='java -jar "$CHECKERFRAMEWORK/checker/dist/checker.jar"'
 
   # Windows
-  set CHECKERFRAMEWORK = C:\Program Files\checker-framework-2.5.6\
+  set CHECKERFRAMEWORK = C:\Program Files\checker-framework-2.5.7\
   doskey javacheck=java -jar "%CHECKERFRAMEWORK%\checker\dist\checker.jar" $*
 \end{Verbatim}
 
diff --git a/docs/manual/introduction.tex b/docs/manual/introduction.tex
index 8d2b7b4e778..35b295942cb 100644
--- a/docs/manual/introduction.tex
+++ b/docs/manual/introduction.tex
@@ -210,7 +210,7 @@ \section{Installation\label{installation}}
   %BEGIN LATEX
   \\
   %END LATEX
-  \url{https://checkerframework.org/checker-framework-2.5.6.zip}
+  \url{https://checkerframework.org/checker-framework-2.5.7.zip}
 
 \item
   Unzip it to create a \code{checker-framework} directory.
diff --git a/docs/manual/manual.tex b/docs/manual/manual.tex
index 5c50696faae..ef721ffa3ca 100644
--- a/docs/manual/manual.tex
+++ b/docs/manual/manual.tex
@@ -4,8 +4,8 @@
 
 \title{The Checker Framework Manual: \\ Custom pluggable types for Java}
 \author{\url{https://checkerframework.org/}}
-\newcommand{\ReleaseVersion}{2.5.6}
-\newcommand{\ReleaseInfo}{2.5.6 (3 Oct 2018)}
+\newcommand{\ReleaseVersion}{2.5.7}
+\newcommand{\ReleaseInfo}{2.5.7 (4 Nov 2018)}
 \date{Version \ReleaseInfo{}}
 
 \begin{document}
diff --git a/docs/tutorial/tests/testdemo/check-tainting.0.expected b/docs/tutorial/tests/testdemo/check-tainting.0.expected
index ba51af06a98..dc033c5f11a 100644
--- a/docs/tutorial/tests/testdemo/check-tainting.0.expected
+++ b/docs/tutorial/tests/testdemo/check-tainting.0.expected
@@ -5,7 +5,7 @@ Deleting directory /Users/smillst/src/jsr308/checker-framework/tutorial/eclipse-
 check-tainting:
 Created dir: /Users/smillst/src/jsr308/checker-framework/tutorial/eclipse-projects/personalblog-demo/bin
 Compiling 2 source files to /Users/smillst/src/jsr308/checker-framework/tutorial/eclipse-projects/personalblog-demo/bin
-javac 1.8.0-jsr308-2.5.6
+javac 1.8.0-jsr308-2.5.7
 /home/mernst/research/types/checker-framework/tutorial/eclipse-projects/personalblog-demo/src/net/eyde/personalblog/service/PersonalBlogService.java:174: error: [argument.type.incompatible] incompatible types in argument.
                                 + "%' order by post.created desc");
                                   ^
diff --git a/docs/tutorial/webpages/security-error-cmd.html b/docs/tutorial/webpages/security-error-cmd.html
index 978c8477447..3f64a3bb3ef 100644
--- a/docs/tutorial/webpages/security-error-cmd.html
+++ b/docs/tutorial/webpages/security-error-cmd.html
@@ -104,7 +104,7 @@ <h4>1. Run the Tainting Checker &mdash; 1 error found</h4>
 check-tainting:
     [mkdir] Created dir: .../personalblog-demo/bin
 [jsr308.javac] Compiling 2 source files to .../personalblog-demo/bin
-[jsr308.javac] javac 1.8.0-jsr308-2.5.6
+[jsr308.javac] javac 1.8.0-jsr308-2.5.7
 [jsr308.javac] .../personalblog-demo/src/net/eyde/personalblog/service/PersonalBlogService.java:175: error: incompatible types in argument.
 [jsr308.javac]                     "where post.category like '%", category,
 [jsr308.javac]                                                    ^
@@ -153,7 +153,7 @@ <h4>3. Re-run the Tainting Checker &mdash; a new error is found</h4>
 check-tainting:
     [mkdir] Created dir: .../personalblog-demo/bin
 [jsr308.javac] Compiling 2 source files to .../personalblog-demo/bin
-[jsr308.javac] javac 1.8.0-jsr308-2.5.6
+[jsr308.javac] javac 1.8.0-jsr308-2.5.7
 [jsr308.javac] .../personalblog-demo/src/net/eyde/personalblog/struts/action/ReadAction.java:58: error: incompatible types in argument.
 [jsr308.javac]                          pblog.getPostsByCategory(reqCategory));
 [jsr308.javac]                                                   ^
@@ -196,7 +196,7 @@ <h4>5. Re-run the Tainting Checker &mdash; no errors</h4>
 check-tainting:
     [mkdir] Created dir: .../personalblog-demo/bin
 [jsr308.javac] Compiling 2 source files to .../personalblog-demo/bin
-[jsr308.javac] javac 1.8.0-jsr308-2.5.6
+[jsr308.javac] javac 1.8.0-jsr308-2.5.7
 
 BUILD SUCCESSFUL
 Total time: 2 seconds
diff --git a/maven-artifacts/poms/checkerPom.xml b/maven-artifacts/poms/checkerPom.xml
index bcc43b07e82..bff7a05a0a0 100644
--- a/maven-artifacts/poms/checkerPom.xml
+++ b/maven-artifacts/poms/checkerPom.xml
@@ -9,7 +9,7 @@
 
     <!-- The comments in the version number are used to do a text substitution. Don't remove them.
          See checker-framework/bin/poms/updateVersion.sh -->
-    <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+    <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
 
     <distributionManagement>
         <repository>
diff --git a/maven-artifacts/poms/checkerQualAndroidPom.xml b/maven-artifacts/poms/checkerQualAndroidPom.xml
index d7b8dc7e59d..ac1a1e694d0 100644
--- a/maven-artifacts/poms/checkerQualAndroidPom.xml
+++ b/maven-artifacts/poms/checkerQualAndroidPom.xml
@@ -9,7 +9,7 @@
 
     <!-- Note: It's important that this is the first <version/> element to appear in this document (by line)
          Because there is a simple logic in the release script to replace the version number of pom files -->
-    <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+    <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
 
     <distributionManagement>
         <repository>
diff --git a/maven-artifacts/poms/checkerQualPom.xml b/maven-artifacts/poms/checkerQualPom.xml
index b57e24f93d2..88dfb64c05b 100644
--- a/maven-artifacts/poms/checkerQualPom.xml
+++ b/maven-artifacts/poms/checkerQualPom.xml
@@ -9,7 +9,7 @@
 
     <!-- Note: It's important that this is the first <version/> element to appear in this document (by line)
          Because there is a simple logic in the release script to replace the version number of pom files -->
-    <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+    <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
 
     <distributionManagement>
         <repository>
diff --git a/maven-artifacts/poms/dataflowPom.xml b/maven-artifacts/poms/dataflowPom.xml
index 85518216710..630b2fc3aeb 100644
--- a/maven-artifacts/poms/dataflowPom.xml
+++ b/maven-artifacts/poms/dataflowPom.xml
@@ -9,7 +9,7 @@
 
     <!-- The comments in the version number are used to do a text substitution. Don't remove them.
          See checker-framework/bin/poms/updateVersion.sh -->
-    <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+    <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
 
     <distributionManagement>
         <repository>
@@ -22,7 +22,7 @@
         <dependency>
             <groupId>org.checkerframework</groupId>
             <artifactId>javacutil</artifactId>
-            <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+            <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
             <type>jar</type>
         </dependency>
     </dependencies>
diff --git a/maven-artifacts/poms/frameworktestPom.xml b/maven-artifacts/poms/frameworktestPom.xml
index 23103a197aa..9ff34314b72 100644
--- a/maven-artifacts/poms/frameworktestPom.xml
+++ b/maven-artifacts/poms/frameworktestPom.xml
@@ -9,7 +9,7 @@
 
     <!-- The comments in the version number are used to do a text substitution. Don't remove them.
          See checker-framework/bin/poms/updateVersion.sh -->
-    <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+    <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
 
     <distributionManagement>
         <repository>
@@ -22,7 +22,7 @@
         <dependency>
             <groupId>org.checkerframework</groupId>
             <artifactId>javacutil</artifactId>
-            <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+            <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
             <type>jar</type>
         </dependency>
         <dependency>
diff --git a/maven-artifacts/poms/javacutilPom.xml b/maven-artifacts/poms/javacutilPom.xml
index c1baabfea11..ee83eb93e3f 100644
--- a/maven-artifacts/poms/javacutilPom.xml
+++ b/maven-artifacts/poms/javacutilPom.xml
@@ -9,7 +9,7 @@
 
     <!-- The comments in the version number are used to do a text substitution. Don't remove them.
          See checker-framework/bin/poms/updateVersion.sh -->
-    <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+    <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
 
     <distributionManagement>
         <repository>
diff --git a/maven-artifacts/poms/jdk8Pom.xml b/maven-artifacts/poms/jdk8Pom.xml
index 9abad5607be..7603ab08e9b 100644
--- a/maven-artifacts/poms/jdk8Pom.xml
+++ b/maven-artifacts/poms/jdk8Pom.xml
@@ -9,7 +9,7 @@
 
     <!-- The comments in the version number are used to do a text substitution. Don't remove them.
          See checker-framework/bin/poms/updateVersion.sh -->
-    <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+    <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
 
     <distributionManagement>
         <repository>
diff --git a/maven-artifacts/release/checkerQualAndroidReleasePom.xml b/maven-artifacts/release/checkerQualAndroidReleasePom.xml
index 4eb7acb66f9..7b9795aec92 100644
--- a/maven-artifacts/release/checkerQualAndroidReleasePom.xml
+++ b/maven-artifacts/release/checkerQualAndroidReleasePom.xml
@@ -35,7 +35,7 @@
 
     <!-- The comments in the version number are used to do a text substitution. Don't remove them.
          See checker-framework/bin/poms/updateVersion.sh -->
-    <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+    <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
 
     <scm>
         <url>https://github.com/typetools/checker-framework.git</url>
diff --git a/maven-artifacts/release/checkerQualReleasePom.xml b/maven-artifacts/release/checkerQualReleasePom.xml
index a208f75bb48..68c11873085 100644
--- a/maven-artifacts/release/checkerQualReleasePom.xml
+++ b/maven-artifacts/release/checkerQualReleasePom.xml
@@ -26,7 +26,7 @@
 
     <!-- The comments in the version number are used to do a text substitution. Don't remove them.
          See checker-framework/bin/poms/updateVersion.sh -->
-    <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+    <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
 
     <scm>
         <url>https://github.com/typetools/checker-framework.git</url>
diff --git a/maven-artifacts/release/checkerReleasePom.xml b/maven-artifacts/release/checkerReleasePom.xml
index 742147a2583..1e7025c0b71 100644
--- a/maven-artifacts/release/checkerReleasePom.xml
+++ b/maven-artifacts/release/checkerReleasePom.xml
@@ -28,7 +28,7 @@
 
     <!-- The comments in the version number are used to do a text substitution. Don't remove them.
          See checker-framework/bin/poms/updateVersion.sh -->
-    <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+    <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
 
     <scm>
         <url>https://github.com/typetools/checker-framework.git</url>
diff --git a/maven-artifacts/release/dataflowReleasePom.xml b/maven-artifacts/release/dataflowReleasePom.xml
index 86e653e8fa2..a8647e212c4 100644
--- a/maven-artifacts/release/dataflowReleasePom.xml
+++ b/maven-artifacts/release/dataflowReleasePom.xml
@@ -31,20 +31,20 @@
         <dependency>
             <groupId>org.checkerframework</groupId>
             <artifactId>checker-qual</artifactId>
-            <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+            <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
             <type>jar</type>
         </dependency>
         <dependency>
             <groupId>org.checkerframework</groupId>
             <artifactId>javacutil</artifactId>
-            <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+            <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
             <type>jar</type>
         </dependency>
     </dependencies>
 
     <!-- The comments in the version number are used to do a text substitution. Don't remove them.
          See checker-framework/bin/poms/updateVersion.sh -->
-    <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+    <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
 
     <scm>
         <url>https://github.com/typetools/checker-framework.git</url>
diff --git a/maven-artifacts/release/frameworktestReleasePom.xml b/maven-artifacts/release/frameworktestReleasePom.xml
index e5ca99c2114..23f35334fd0 100644
--- a/maven-artifacts/release/frameworktestReleasePom.xml
+++ b/maven-artifacts/release/frameworktestReleasePom.xml
@@ -31,7 +31,7 @@
         <dependency>
             <groupId>org.checkerframework</groupId>
             <artifactId>javacutil</artifactId>
-            <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+            <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
             <type>jar</type>
         </dependency>
         <dependency>
@@ -44,7 +44,7 @@
 
     <!-- The comments in the version number are used to do a text substitution. Don't remove them.
          See checker-framework/bin/poms/updateVersion.sh -->
-    <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+    <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
 
     <scm>
         <url>https://github.com/typetools/checker-framework.git</url>
diff --git a/maven-artifacts/release/javacutilReleasePom.xml b/maven-artifacts/release/javacutilReleasePom.xml
index 224dcb627f7..bd4c5d5ec71 100644
--- a/maven-artifacts/release/javacutilReleasePom.xml
+++ b/maven-artifacts/release/javacutilReleasePom.xml
@@ -31,14 +31,14 @@
         <dependency>
             <groupId>org.checkerframework</groupId>
             <artifactId>checker-qual</artifactId>
-            <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+            <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
             <type>jar</type>
         </dependency>
     </dependencies>
 
     <!-- The comments in the version number are used to do a text substitution. Don't remove them.
          See checker-framework/bin/poms/updateVersion.sh -->
-    <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+    <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
 
     <scm>
         <url>https://github.com/typetools/checker-framework.git</url>
diff --git a/maven-artifacts/release/jdk8ReleasePom.xml b/maven-artifacts/release/jdk8ReleasePom.xml
index 0dfc9c32239..886e2907aeb 100644
--- a/maven-artifacts/release/jdk8ReleasePom.xml
+++ b/maven-artifacts/release/jdk8ReleasePom.xml
@@ -26,7 +26,7 @@
 
     <!-- The comments in the version number are used to do a text substitution. Don't remove them.
          See checker-framework/bin/poms/updateVersion.sh -->
-    <version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
+    <version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
 
     <scm>
         <url>https://github.com/typetools/checker-framework.git</url>