[infinispan-issues] [JBoss JIRA] (ISPN-9148) Server product branding is incomplete