command names for jenkins

issue #1184 command names for jenkins