* 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. -peter