Oh, next step after the next step for java-idp-testbed would be to try and roll shibboleth-idp-ext-cas into an overlay over java-idp-testbed, for grins. It would be nice to get the configuration resource paths compatible, I may have broken that with the previous commit of idp.home as a system property.