Jenkins 是一个开源软件项目，它是基于 Java 开发的一种 ( ) 类型的工具。