private File getJar(URL skeleton) {
String path;
try {
path = URLDecoder.decode(skeleton.getPath(), "UTF-8");
} catch (UnsupportedEncodingException e) {
throw new CrawljaxException("Could not process the path of the Overview skeleton "
+ skeleton, e);
}
String jarpath = path.substring("file:".length(), path.indexOf("jar!") + "jar".length());
File jar = new File(jarpath);
LOG.debug("Jar file {} from path {}", jar, path);