Using serial flash loader with JRunner

Hi,

We are trying to use the JRunner code, running on a PIC microcontroller to program an EPCS1 EEPROM using the serial flash loader.

So far I can generate a JIC file and program it using Quartus and a USB Blaster cable, this all works fine. Now the PICMicro guy needs a spec on how to interpret the JIC file and program the flash loader, then the EEPROM from the data contained therein.

We can't seem to find any specs on the internal structure of the JIC file. Is this spec available, or will we have to use a different approach? We are quite happy to modify the JRunner code, but we need some specs on the JIC file structure and the protocol used by the JTAG TAP in the flash loader.

TIA

Rhydian.