I have contact with Feitian guys and I have ordered a couple of these K9 token which I am using and I find it very pleasant and nice to use. I have loaded a bunch of large JavaCard CAP files (70+ KB) which I am quite happy with although I had to sacrifice by deleting the FIDO and OTP applets.
When you / JavaCardOS team decides to place an order with the Feitian guys, please tell them to set the GP ENC Key = 404142434445464748494A4B4C4D4E4F, GP MAC Key = 404142434445464748494A4B4C4D4E4F, GP DEK Key = 404142434445464748494A4B4C4D4E4F and specify to the Feitian guys that you WANT TO ENABLE JavaCard development. If you do not give them the above specifications, they will use their proprietary GP key and you WILL NOT be able to load your own JavaCard applet because that happened by accident to me once before where they (Feitian) forget to load the correct GP keys and sent me a small batch with their proprietary key and I couldn't load my CAP files to use the JavaCard platform (JC 3.0).
Also, for those intending to use the nice little K9 tokens, it comes with a FIDO touch button and please do not touch the button if you are running your own applet. The touch button will deselect your running applet and load the Feitian OTP applet and do OTP stuff. JavaCardOS team may want to ask Feitian to provide their FIDO token toolkit which will allow users and JavaCardOS team to manually enter into a console to enable or disable the OTP button via switching the OTP mode on/off.
Highly recommended stuff for advanced JavaCard applet developers or someone wanting a USB token that has much more performance capabilities than the eJavaToken and also physically more comfortable and lighter to carry around.
Highly recommended to put a stock inside the JavaCardOS store

Link: http://www.ftsafe.com/products/FIDO/Single_Button_FIDO