else { String docbase = getDocumentBase().toString(); int pos = docbase.lastIndexOf("/"); String zipFileName = "jar:"+docbase.substring(0,pos+1)+"wizard.zip!/"+fileName; System.out.println("Trying to find "+zipFileName); InputStatus status = new InputStatus(); JarInputFile input = new JarInputFile(zipFileName, status); System.out.println("Succeeded in finding "+zipFileName); ParsePage(input.StartPtr().toString()); }
  public void LoadFile(String fileName)  {    try    {      if (zipFile == null)      {        String docbase = getDocumentBase().toString();        {          int pos = docbase.lastIndexOf("/");          String zipFileName = docbase.substring(0,pos+1)+"wizard.zip";          try          {            zipFile = new java.util.zip.ZipFile(new File(new java.net.URI(zipFileName)));  //System.out.println("Succeeded in finding "+zipFileName);          }          catch(Exception e)          {          }        }      }      if  (zipFile != null)      {        java.util.zip.ZipEntry e = zipFile.getEntry(fileName);        if (e != null)        {          java.io.InputStream s = zipFile.getInputStream(e);          InputStatus status = new InputStatus();          StdFileInput input = new StdFileInput(s,status);          ParsePage(input.StartPtr().toString());        }      }    }    catch (Exception e)    {      ParsePage(      "[title:Yacas helper]"+      "The start page for the Yacas helper could not be found.\n"      );    }  }