Contributing

Read the Maven developer guide before your first pull request. For this repository:

• Report bugs in GitHub Issues; report security issues privately as SECURITY.md describes.
• Discuss new features and API changes on the dev mailing list first.
• Run mvn spotless:apply and mvn verify before you push.