It's better to use your own cache. You could possibly get away with using the TomcatClusteringCache, but we basically regard that cache as ours to do with as we will, so if you use it you could have upgrade issues later.
(BTW, the TomcatClusteringCache is also used for distributable web session replication.)
That makes sense. Thanks very much for your quick response!