code: public void setPluginList(Path src) {
          if (pluginList == null) {
              pluginList = src;
          } else {
              pluginList.append(src);
          }
      }
docs: the plugin list to use.
  
  @param src
  plugin list to use