From 65c2123e7709387e2c3a359e66d459a5c8ed82f1 Mon Sep 17 00:00:00 2001
From: Ian Young <ian@iay.org.uk>
Date: Mon, 1 Aug 2016 10:11:46 +0100
Subject: [PATCH] Rename PKCS11 configuration property for consistency.

---
 build.xml           | 2 +-
 prod-old.properties | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index 41c002af..b6e3669c 100644
--- a/build.xml
+++ b/build.xml
@@ -660,7 +660,7 @@
                         It requires the java.security file to be unmodified.
                     -->
                     <arg value="--pkcs11Config"/>
-                    <arg value="${pkcs11.config}"/>
+                    <arg value="${keystore.pkcs11.config}"/>
                     <arg value="--keystoreProvider"/>
                     <arg value="sun.security.pkcs11.SunPKCS11"/>
 
diff --git a/prod-old.properties b/prod-old.properties
index 69ab30ec..4d51bc90 100644
--- a/prod-old.properties
+++ b/prod-old.properties
@@ -10,4 +10,4 @@
 #
 # Location of the PKCS#11 configuration file for an ACOS5 card.
 #
-pkcs11.config = C\:\\pkcs11\\sdk18\\acs.cfg
+keystore.pkcs11.config = C\:\\pkcs11\\sdk18\\acs.cfg