ports/72900: Upgrade jboss port to jboss4 (fwd)

[Mark Linimon]

On Sunday 24 October 2004 05:48 am, Jonathan Chen wrote:

> I'd prefer a java/jboss4 port instead. The JBoss 4.0.0 release has
> some obscure problems (or so they say - I'm looking into this), so
> I'd prefer a new port for the JBoss-4 series instead.

So can we generate a consensus that this PR should be changed to
a repocopy request?

mcl