*/
protected void deleteDocumentSource(Document document) throws PublicationException {
File file = document.getFile();
boolean deleted = file.delete();
if (!deleted) {
throw new PublicationException(
"Source file [" + file + "] of document [" + document + "] could not be deleted!");
}
}