Available versions
| Guides | Release Notes | Javadoc* | Release date |
| 5.3-Beta | Apr 22, 2024 | ||
| 5.2 | Dec 13, 2023 | ||
| 5.1 | Aug 17, 2023 | ||
| 5.0We recommend skipping this release due to performance issues. | Dec 19, 2022 | ||
| 4.1 | July 27, 2022 | ||
| 4.0 | Jan 18, 2022 | ||
| 3.1 | Jun 25, 2021 | ||
| 3.0 | Mar 19, 2021 | ||
| 2.4 | Dec 10, 2020 | ||
| 2.3 | jdk8jdk11 | Jun 05, 2020 | |
| 2.2 User & Dev Guide2.2 Reference Guide | jdk8jdk11 | Jan 17, 2020 | |
| 2.1 User & Dev Guide2.1 Reference Guide | jdk8 | Aug 9, 2019 | |
| 2.0 | jdk8 | May 13, 2019 |
*Javadoc is no longer published online for releases after 2021, but it is still included and updated within the source.