try { dbFile.remove(true); } catch(e) { /* stupid windows box */ } 
try { dbFile.remove(false); } catch(e) { /* stupid windows box */ } 
function cleanup(){  // removing test db  var dbFile = getTestDB();  if (dbFile.exists())    try { dbFile.remove(true); } catch(e) { /* stupid windows box */ }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/ce9577407ad2dc158bf54b1f149502ab79ba8f0c/head_storage.js/buggy/storage/test/unit/head_storage.js