git_url: https://github.com/jboss/jboss-servlet-api_spec.git version_control: github src_repo: jboss/jboss-servlet-api_spec tag_prefix: "jboss-servlet-api_3.1_spec-" seperator: "."