Links for nixpkgs-openjdk-updater