Searched refs:jarDir (Results 1 – 1 of 1) sorted by relevance
57 public static void copyResourcesToDirectory(JarFile fromJar, String jarDir, String destDir) in copyResourcesToDirectory() argument61 if (entry.getName().startsWith(jarDir + "/") && !entry.isDirectory()) { in copyResourcesToDirectory()62 File dest = new File(destDir + "/" + entry.getName().substring(jarDir.length() + 1)); in copyResourcesToDirectory()