In case the download buttons for either of the configuration files don’t work, it’s possible to create the files manually.
You can create files with the names as krb5.ini and jaas.conf. Please make sure that the configuration files do not have a .txt extension after you create them, for example, krb5.ini.txt.
The contents of the configuration files are provided next to the respective download buttons. Please enter the contents into the respective files you have created. The rest of the configuration procedure will remain the same.