/** Stores the current date as the date of last modification. */
public void bookmarksChanged() {
lastModified = System.currentTimeMillis();
}
public BookmarkRoot(FileURL url) {
super(url);
lastModified = System.currentTimeMillis();
BookmarkManager.addBookmarkListener(this);
}