En este caso vamos a hablar del dnie, que todos tenemos pero pocos llegamos a usar en algún momento o sentimos curiosidad por el.
Si lo que queremos hacer es cambiar el pin, podemos encontrarnos con dos problemas, uno es el siguiente error
No se tiene acceso a la libreria ‘jpcsc’
otro es que nos de un error distinto al modificar el bat segun podamos encontrar en algunos foros.
La solución radica en guardar en la carpeta donde está instalado (C:DNIeCambioPIN es lo normal) un archivo .bat con el nombre que queramos y con el siguiente contenido:
start /b C:/Windows/SysWOW64/javaw.exe -classpath ".DNIeCambioDePIN.jar" es.dgp.dnie.kv.client.kvGUI.panels.Main
Esto corrige los errores que hay en los posts que he encontrado por ahí y hará que nos funcione bien en nuestro sistema operativo de 64 bits.
Dejo también aquí el archivo para descargar en caso de que no os querais complicar la vida con los bat o no sepais para qué sirven: Cambio Pin Dnie x64 bat