Synopsis: Upgrade java/jmp from 0.41 -> 0.42. (patch incl.) Responsible-Changed-From-To: freebsd-ports-bugs->znerd Responsible-Changed-By: linimon Responsible-Changed-When: Mon Jun 21 20:42:08 GMT 2004 Responsible-Changed-Why: Over to maintainer. http://www.freebsd.org/cgi/query-pr.cgi?pr=68174