Added parameters for setting number of threads used by ECJ