diff options
Diffstat (limited to 'debian/patches/java11.patch')
-rw-r--r-- | debian/patches/java11.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/debian/patches/java11.patch b/debian/patches/java11.patch new file mode 100644 index 0000000..d20eb99 --- /dev/null +++ b/debian/patches/java11.patch @@ -0,0 +1,20 @@ +--- a/lang/pom.xml ++++ b/lang/pom.xml +@@ -149,9 +149,15 @@ + <groupId>org.apache.maven.plugins</groupId> + <artifactId>maven-compiler-plugin</artifactId> + <configuration> +- <source>1.6</source> +- <target>1.6</target> ++ <source>1.9</source> ++ <target>1.9</target> ++ <fork>true</fork> + <encoding>UTF-8</encoding> ++ <compilerArgs> ++ <arg>--add-exports=java.base/jdk.internal.ref=ALL-UNNAMED</arg> ++ <arg>--add-exports=jdk.unsupported/sun.misc=ALL-UNNAMED</arg> ++ <arg>--add-exports=java.base/sun.nio.ch=ALL-UNNAMED</arg> ++ </compilerArgs> + </configuration> + </plugin> + </plugins> |