Definition of Done

There are no TODOs left in the code
Method preconditions are checked and documented in the method's Javadoc
Coding conventions (e.g. for logging) have been followed
Change is covered by automated tests
Public API has Javadoc and @API annotations
Change is documented in the User Guide and Release Notes
All continuous integration builds pass
For issues: change is merged into master
Issue and pull request, if applicable, are closed and assigned to the corresponding milestone, the labels in progress and team discussion label have been removed