On Wed, Feb 13, 2019 at 12:51 PM Taher Alkhateeb <slidingfilame...@gmail.com> wrote:
> [...] For those who want to switch to oracle JDK, they can > easily do so, but we should perhaps stabilize on openjdk by default > and get the build system and documentation pointing to openjdk as a > long term solution to this problem. +1 Jacopo