public void removeDocument( String docName ) throws PermissionDeniedException { removeDocument( new User( "admin", null, "dba" ), docName ); }
public abstract void removeDocument(String docName) throws PermissionDeniedException;
    public void removeDocument( String docName )         throws PermissionDeniedException {        removeDocument( new User( "admin", null, "dba" ), docName );    }