* jenkins should allow only one simultaneous executor, not two
Merge pull request #425 from cgolubi1/424_one_jenkins_build

jenkins should allow only one simultaneous executor, not two