Wow. Seven years ago?!
There is no documentation on how to use the Java library. Looks like I'm just going to cook up a standard Spring OIDC client without using the library, which means I'm probably going to take more time coding than I would prefer to.