Searched refs:jrefilename (Results 1 – 1 of 1) sorted by relevance
115 String jrefilename = System.getProperty("JRE_FILE"); in copyJreFile() local117 if ( jrefilename != null ) { in copyJreFile()120 File jreFile = new File(jrefilename); in copyJreFile()123 jreFile = new File(data.getPackagePath(), jrefilename); in copyJreFile()
Completed in 18 milliseconds