Searched refs:jreFile (Results 1 – 1 of 1) sorted by relevance
120 File jreFile = new File(jrefilename); in copyJreFile() local122 if ( ! jreFile.exists()) { in copyJreFile()123 jreFile = new File(data.getPackagePath(), jrefilename); in copyJreFile()126 if ( jreFile.exists() ) { in copyJreFile()127 String jreFileSource = jreFile.getPath(); in copyJreFile()130 String onlyFileName = jreFile.getName(); in copyJreFile()
Completed in 7 milliseconds