keyOutputStream = new DataOutputStream(fout);
keyOutputStream.writeInt(currentToken);
keyOutputStream.writeLong(nextUpdate);
for (int i = 0; i < currentTokens.length; i++) {
if (currentTokens[i] == null) {
keyOutputStream.writeInt(0);
} else {
keyOutputStream.writeInt(1);
byte[] b = currentTokens[i].getEncoded();
keyOutputStream.writeInt(b.length);
keyOutputStream.write(b);