Home
last modified time | relevance | path

Searched refs:jreFile (Results 1 – 1 of 1) sorted by relevance

/aoo42x/main/javainstaller2/src/JavaSetup/org/openoffice/setup/Util/
H A DInfoDir.java120 File jreFile = new File(jrefilename); in copyJreFile() local
122 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 11 milliseconds