Synopsis: [patch] databases/sqldeveloper require jdk15 State-Changed-From-To: feedback->open State-Changed-By: linimon State-Changed-When: Wed Oct 8 22:10:22 UTC 2008 State-Changed-Why: Maintainer has provided a patch. http://www.freebsd.org/cgi/query-pr.cgi?pr=127938