[jen20]

Thanks - very interesting! I’d always assumed it was Java, like many AWS services.