code: public void removeSourceDir(int num) {
          srcDirList.remove(num);
          IO.close(sourceFinder);
          sourceFinder = new SourceFinder(this);
          isModified = true;
      }
docs: Remove source directory at given index.
  
  @param num
  index of the source directory to remove