/**
* Get the document. This method may be called before the document initialization (<code>
* prepareTask</code>) has been completed, in such a case the document must not be modified.
*
* @return document or <code>null</code> if it is not yet loaded
*/
public StyledDocument getDocument() {
return del.getDocument();
}
