This release adds compatibility with OpenJDK v12. Release Date: Tuesday, March 19, 2019 Review: 0.13.0 Release ReviewRelease Type: Minor release