public void bookmarkUpdated(BookmarkEvent e) {
		if (e.getID() == BookmarkEvent.BOOKMARK_SORTED) {
			EventQueue.invokeLater(new Runnable() {
				public void run() {
					updateBookmarks();
				}
			});
		}
	}