Thanks – I had eventually found that URL by examining the JavaRa executable using Process Explorer, then wrote a quick CMD script that uses wget to update it manually, with which I received a complete file.
Reply To: JavaRa definition file incomplete