File junit-jdk9.patch of Package junit

--- junit-r4.11/build.xml	2012-11-13 21:10:09.000000000 +0100
+++ junit-r4.11/build.xml	2017-09-08 10:38:22.639250431 +0200
@@ -71,8 +71,8 @@
           debug="on"
           classpath="@{classpath}"
           includeantruntime="false"
-          source="1.5"
-          target="1.5"
+          source="1.6"
+          target="1.6"
           >
         <compilerarg value="-Xlint:unchecked" />
       </javac>