}
@Override
public void writeLeafEntryNextFileName(final int filename, final OutputStream out) throws IOException {
final BitVector bits = new BitVector(7);
bits.clear(0);
determineNumberOfBytesForRepresentation(filename, bits, 0, out);
bits.writeWithoutSize(out);
writeIntWithoutLeadingZeros(filename, out);
}