[Pki-devel] [PATCH] 813 Improved SystemConfigService.configure() error message.