/build-support/java12-openjdk/

• ../
• PKGBUILD
• freedesktop-java.desktop
• freedesktop-jconsole.desktop
• freedesktop-jshell.desktop
• install_jdk-openjdk.sh
• install_jre-openjdk-headless.sh
• install_jre-openjdk.sh
• jdk12u-jdk-12.0.2+10-c1.patch
• jdk12u-jdk-12.0.2+10-gcc10-default-no-fcommon.patch
• jdk12u-jdk-12.0.2+10-make43.patch