jtidy-04aug2000r6.jar , where is it?

When I unzip jtidy-04aug2000r6.zip with 7-zip there's no 
file jtidy-04aug2000r6.jar as per 
<http://jtidy.sourceforge.net/howto.html>.  In fact, a 
search for jtidy* shows no .jar files at all, from win2k. 
I don't understand where jtidy-04aug2000r6.jar is at. 
Presumably jtidy-04aug2000r6.jar is how the API is 
utilized, also, as in their sample code at 
<http://sourceforge.net/docman/display_doc.php?docid=1298&group_id=13153> 
Test16.java.

thanks,

Thufir Hawat