(function(){catch(FileNotFoundException, function(e) error(e)) if (!f.exists()){ throw(FileNotFoundException(f.getPath()+" not found"))} })()