docs: public TechSet getTechSet() {
          TechSet techSet = new TechSet();
          Iterator<Entry<Tech, DefaultMutableTreeNode>> iter = techToNodeMap.entrySet().iterator();
          while (iter.hasNext()) {
              Entry<Tech, DefaultMutableTreeNode> node = iter.next();
              TreePath tp = this.getPath(node.getValue());
              Tech tech = node.getKey();
              if (techTree.isSelectedFully(tp)) {
                  techSet.include(tech);
              } else {
                  techSet.exclude(tech);
              }
          }
          return techSet;
      }