Update source/thresholdClient/src/cat/urv/crises/smartcard/elgamal/UserGUI.java