Merge pull request #732 from apache/jenkinsfiles

Removed useless Jenkinsfile(s)