199200201202203204205206207208209
} protected void listenService( boolean listen ){ IBookmarkService bookmarkService = BookmarksPlugin.getBookmarkService(); if (listen) { bookmarkService.addListener(serviceWatcher); } else { bookmarkService.removeListener(serviceWatcher); } }