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