/** * Starts reloading of document. Could not be named reloadDocument, because of backward * compatibility. * * @return task one can listen on when reloading the document */ protected Task reloadDocumentTask() { return del.superReloadDocument(); }