code: public void setDocPath(FileObject path) {
          setDocPath = true;
          if (path == null)
              return;
          if (!path.equals(docPath)) {
              docPath = path;
              checkDoc();
          }
      }
docs: set doc path for an unzipped directory