4748495051525354555657
if (fileNameIndex != 0) warName = url.getFile().substring(fileNameIndex); else warName = url.getFile(); converter = new WarToWabConverterImpl(new InputStreamProvider() { public InputStream getInputStream() throws IOException { return url.openStream(); } }, warName, properties); }