Lines Matching defs:file
14 import java.io.File;
41 File daveFolder = new File(JmeSystem.getStorageFolder().getAbsolutePath() + File.separator + gamePath.replaceAll("/", File.separator));
43 Logger.getLogger(SaveGame.class.getName()).log(Level.SEVERE, "Error creating save file!");
46 File saveFile = new File(daveFolder.getAbsolutePath() + File.separator + dataName);
49 Logger.getLogger(SaveGame.class.getName()).log(Level.SEVERE, "Error creating save file!");
93 File file = new File(JmeSystem.getStorageFolder().getAbsolutePath() + File.separator + gamePath.replaceAll("/", File.separator) + File.separator + dataName);
94 if(!file.exists()){
97 is = new GZIPInputStream(new BufferedInputStream(new FileInputStream(file)));
