Revert "Use default configuration for Jenkins build"

This reverts commit a9b78d87252030bca933c626170dc13ba36c3930.
1 file changed
tree: 67aeb98cc7f48e34f1555a1bd64b5aedbdbf0946
  1. src/
  2. .gitignore
  3. Jenkinsfile
  4. pom.xml