[jboss-user] [Clustering/JBoss] - minor jdk version difference - would that be a BIG issue?