code: public String[] getPaths()
      {
          ServletHandler handler = (ServletHandler)_holder.getHttpHandler();
          Map servletMap = handler.getServletMap();
          ArrayList paths = new ArrayList(servletMap.size());
          Iterator iter = servletMap.entrySet().iterator();
          while (iter.hasNext())
          {
              Map.Entry entry =(Map.Entry)iter.next();
              if (entry.getValue()==_holder)
                  paths.add(entry.getKey());
          }
          return (String[])paths.toArray(new String[paths.size()]);
      }
docs: /* ------------------------------------------------------------