// read first array element and store it as an indirection to the whole array
int indirection = get_offset();
String repID = read_repositoryId();
if (repositoryIdCache == null)
repositoryIdCache = new CacheTable(orb,false);
repositoryIdCache.put(repID, indirection);
// read and ignore the subsequent array elements, but put them in the
// indirection table in case there are later indirections back to them
for (int i = 1; i < numRepIds; i++) {