You can use the same jboss distribution but will need two distincts configuration folders under JBOSS_HOME/server. As for the ports, you need to change jboss-clustering ports, yes, but also all ports used by the other jboss services.
A recent contribution has been made to jboss (see jboss-dev) that allows you to set all this configuration in a central file shared by many jboss instances (ip addresses and port number for each service).
To use a different config folder would we use a parameter on jboss binary? Like, for instance,
"jboss.sh --config-foler=/JBossHome/configfolder2" ?
And I have looked in JBoss-Development-Mirror forum for the other utility you mentioned... I haven't found it there. Maybe I'm looking on the wrong place? Maybe you're talking about the download section? I'll look in the forum more carufully anyway.
Sorry for the delay, I was on Holidays.
Yes, it is not in the mirror because the forums were down at that time. Please, follow it from here:
Your guy is : Mike Finn