rem: var f = new File(localFile); 
add: var f = new helma.File(localFile); 
context:    this.getFile = function(remoteFile, localFile) {      try {         if (localDir == null)            var f = new File(localFile);         else            var f = new File(localDir, localFile);         var stream = new BufferedOutputStream(            new FileOutputStream(f.getPath())         );         var result = ftpclient.retrieveFile(remoteFile, stream);         stream.close();         debug("getFile", remoteFile);         return result;      } catch(x) {         error("getFile", x);         setStatus(GET);      }      return false;   };
meta: 2504	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2504/2e2603c4e07203d97f82b5c0011a7f1b33802b49/Ftp.js/buggy/helma/Ftp.js