public void replaceDocument(YKDocument oldDoc, YKDocument newDoc){
int index = documentList.indexOf(oldDoc);
documentList.remove(index);
documentList.add(index, newDoc);
DocumentChangedEvent dce =
new DocumentChangedEvent(this, oldDoc, newDoc);
pceListeners.firePropertyChange(dce);
}