[Pki-users] Aladdin eToken PRO 72K Java

Hello, I have installed Dogtag PKI before and now planning a new install of version 9.0 on Fedora 15. I want to use tokens this time to store client keys and certificates and we already have a bunch of Aladdin eToken PRO 72K Java Tokens. They are not on the list of tested smart cards, but they are also USB Java Cards. Has anybody used these tokens with Dogtag? Regards, Shohrukh Shoyoqubov