Links for install-jdk-patch