> * Jim Fox <fox at washington.edu> [2020-04-29 00:24]: >> jdk_version: 13.0.2 > > Nit: Java 13 is unsupported for now, at least as per the wiki. > Doesn't mean it won't work. Jim