We need to rename plug-in for JON from community InfinispanServer to product related JDG. We depend on jboss-as-7 plug-in and it needs correct JDG plug-in name for internal decisions. Also, we should (if not even have to) change content of product.conf file. JON is detecting products according to it.
This was fixed by ER6, cool, thanks! VERIFIED