rem: var story = root.storiesByID.get(String(el.story)); 
add: var story = Story.getById(String(el.story)); 
context: function writeReadLog() {   if (app.data.readLog.size() == 0)      return;   // first of all swap app.data.readLog   var size = app.data.readLog.size();   var log = app.data.readLog;   app.data.readLog = new java.util.Hashtable(size);   // loop over Hashtable   var reads = log.elements();   while (reads.hasMoreElements()) {      var el = reads.nextElement();      var story = root.storiesByID.get(String(el.story));      if (!story)         continue;      story.reads = el.reads;   }   app.log("updated read-counter of " + log.size() + " stories in database");   return;}
meta: 993	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/993/537454f8885c92fa11238a88b26606abc4e0abd3/objectFunctions.js/clean/code/Global/objectFunctions.js