/** * Test whether the document is modified. * * @return <code>true</code> if the document is in memory and is modified; otherwise <code>false * </code> */ public boolean isModified() { return del.isModified(); }