Synopsis: [patch] change games/minecraft-client to use openjdk7 State-Changed-From-To: open->closed State-Changed-By: nox State-Changed-When: Thu Jul 4 21:50:18 UTC 2013 State-Changed-Why: Superseded by ports/180195. Thanks! http://www.freebsd.org/cgi/query-pr.cgi?pr=177493