src/share/classes/com/sun/tools/javac/file/ZipFileIndex.java

changeset 184
905e151a185a
parent 103
e571266ae14f
child 333
7c2d6da61646
equal deleted inserted replaced
183:dbe9e82f9d25 184:905e151a185a
1112 1112
1113 raf.write(dirNameBytes); 1113 raf.write(dirNameBytes);
1114 writtenSoFar += dirNameBytesLen; 1114 writtenSoFar += dirNameBytesLen;
1115 1115
1116 // Write the number of files in the dir 1116 // Write the number of files in the dir
1117 List dirEntries = dirEntry.getEntriesAsCollection(); 1117 List<Entry> dirEntries = dirEntry.getEntriesAsCollection();
1118 raf.writeInt(dirEntries.size()); 1118 raf.writeInt(dirEntries.size());
1119 writtenSoFar += 4; 1119 writtenSoFar += 4;
1120 1120
1121 offsets.put(dirName, new Long(writtenSoFar)); 1121 offsets.put(dirName, new Long(writtenSoFar));
1122 1122

mercurial