rem: gBMtxmgr.undoTransaction(); 
add: BMSVC.transactionManager.undoTransaction(); 
context:   undoBookmarkTransaction: function ()  {    gBMtxmgr.undoTransaction();    BookmarksUtils.flushDataSource();  },
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/86a16d7fd5a08f6a1c50cf34d90305445990e06d/bookmarks.js/buggy/xpfe/components/bookmarks/resources/bookmarks.js