<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"></head><body ><div><br></div><div>Github has suddenly stopped supporting downloads of binart files. Check the github blog:</div><div><br></div><div>https:github.com/blog</div><div><br></div><div>It appears that they are grandfathering existing files... but we won't be adding any new downloads later...</div><div><br></div><div>Any suggestions?</div><div><br></div><div>One obvious option is to use the base jdom.org site, but it is harder to measure activity from there...</div><div><div style="font-size:75%;color:#575757"><br>Rolf<br></div></div> </body></html>