((FileResource<?>) res).deleteOnExit();
}
String finalName = new PluginJar(dep, version + 1).getFullName();
FileResource<?> jar = (FileResource<?>) pluginDir.getChild(finalName);
jar.createNewFile();
return jar;
}
private class StartsWith implements ResourceFilter
{