Warning for Windows users

Although the Jar file link points to a .jar file, some Windows systems try to automatically save it as a .zip file. Therefore, Windows users may need to explicitly replace the .zip extension back to .jar when downloading the .jar files.