File f = new File(jarFileName); if (f.exists() == false) { return false; }
    protected boolean setJarInputReader(String name) throws IOException {        try {            int index = name.indexOf("!");            if (index != -1) {                // Used to be this, modified by Erik Sanders to work                // with jdk 1.4 plugin                //              String jarFileName =                //                  name.substring(name.indexOf(":") + 1, index);                // changed to this...                String jarFileName;                if (name.startsWith("file:")) {                    // java-plugin 1.3 returns local file: strip file:                    // from string                    jarFileName = name.substring(name.indexOf(":") + 1, index);                } else {                    // java-plugin 1.4 returns reference to server, so                    // leave http:// part                    jarFileName = name.substring(1, index);                }                // skip !/ "                String jarEntryName = name.substring(index + 2);                if (Debug.debugging("binaryfile")) {                    Debug.output(" got: \n" + jarFileName + "\n" + jarEntryName);                }                setInputReader(new JarInputReader(jarFileName, jarEntryName));                return true;            }        } catch (java.security.AccessControlException ace) {            if (Debug.debugging("binaryfile")) {                Debug.output("BinaryFile.setJarInputFile: AccessControlException for "                        + name);            }        }        return false;    }