Very interesting, will definitely have to follow this development.There are new, currently unconfirmed rumors (IIRC from last week?) that the air force J-35 derivative will be under the J-35 name, like J-35(X).
They could either pull a Lockheed Martin and do J-35A/B or do J-35J and J-35K (J for jian 舰 and K for 空). If they would proceed with an export variant, then either a J-35E or straight up J-31.
These are just unconfirmed whispers for now. We'll find out.