New port question JBoss 7.1.3

Alexander Yerenkow yerenkow at
Thu Nov 15 14:14:20 UTC 2012

Hello there.
I made some time ago port for JBoss 7.1.1, which is currently in ports tree.
It called java/jboss7.
Now I sending to you (any committer will do)  new port - jboss71.
I'm not sure I want to replace jboss7 with 7.1.3, since soon there will be
And they have a big difference between 7.1 and 7.2.
So, I'd like to keep jboss7 (7.1.1) and introduce jboss71 (7.1.3) and a bit
later jboss72 (with some CR).

Is this ok?

Since there's many files in plist, I can't attach shar to PR, If there is
need in PR after this email, I'll create one.

Alexander Yerenkow

More information about the freebsd-ports mailing list