throw new ReceivedEventMarkerException();
}
};
ListenerList l = db.getListenerList();
l.addIndexChangedListener(listener);
DirCacheBuilder b = dc.builder();
entOrig = new DirCacheEntry(path);
entOrig.setFileMode(mode);
entOrig.setLastModified(lastModified);