private void writeTrailer(OutputStream stream) throws IOException {
pdf.append("trailer\n");
stream.write(PDFDocument.encode(pdf.toString()));
PDFDictionary dictionary = trailerDictionary.getDictionary();
dictionary.put("/Size", objectReferences.size() + 1);
dictionary.output(stream);
}
}