1) made maximum number of threads configurable
2) fixed a clone() bug in SourceContextAndPath