diff --git a/my-app/pom.xml b/my-app/pom.xml index d9982043e..9e64242ad 100644 --- a/my-app/pom.xml +++ b/my-app/pom.xml @@ -10,7 +10,7 @@ - ${org.checkerframework:jdk8:jar} + ${org.checkerframework:jdk7:jar} @@ -32,7 +32,7 @@ org.checkerframework - jdk8 + jdk7 1.9.4 @@ -92,8 +92,8 @@ maven-compiler-plugin - 1.8 - 1.8 + 1.7 + 1.7 true