[jboss-user] [Clustering/JBoss] - Use TomcatClusteringCache or create my own cache service?