function jscoverage_recalculateSourceTab() {
  if (! jscoverage_currentFile) {
    jscoverage_endLengthyOperation();
    return;
  }
  setTimeout(jscoverage_makeTable, 0);
}
Calculates coverage statistics for the current source file.