/build-support/java13-openjdk/
../
PKGBUILD
freedesktop-java.desktop
freedesktop-jconsole.desktop
freedesktop-jshell.desktop
install_jdk-openjdk.sh
install_jre-openjdk-headless.sh
install_jre-openjdk.sh
jdk13u-jdk-13.0.2+8-gcc10-default-no-fcommon.patch
jdk13u-jdk-13.0.2+8-make43.patch