Selgus: 64-bit sirvikutele igasugune ID-kaardi tugi puudub. Halleluuja. Uurisin natuke ja selgus, et IE on mul arvutis õnneks nii 64- kui ka 32-bitisena. Ikka ei tööta, raisk! Natuke kaevamist ja ahaa!  64-bitine Java ei ühildu ju32-bitise IEga ka. Sikutasin siis teise Java ka alla. Ikka ei tööta, raisk! ID-kaardi toe leheküljest oli ükskord ometi ka reaalset abi ja selgus, et kaardi sertifikaadid tuleb manuaalselt registreerida. Siis töötab.