[jbosstools-issues] [JBoss JIRA] (JBDS-4288) 'Rename artifacts to remove timestamp and buildID' should be a jenkins job, not manual step