removing the amendments to jenkinslaunch script