New port question JBoss 7.1.3

[Radim Kolar]

any progress with jboss 7.1.3 update? i checked ports tree and it is 
still not here. No need to create new port, just replace jboss7 port.