[mod_cluster-issues] [JBoss JIRA] (MODCLUSTER-376) multiple workers with the same id following a tomcat crash/kill