private int getGreatestObjectNumberWritten() {
        // entries are insertion sorted by ascending object number, so the
        // greatest object number is in the Entry at the greatest index
        return (entries.isEmpty()) ? 0 :
            entries.get(entries.size()-1).getReference().getObjectNumber();
    }