ports/127938: [patch] databases/sqldeveloper require jdk15

[edwin at FreeBSD.org]

Synopsis: [patch] databases/sqldeveloper require jdk15

State-Changed-From-To: open->feedback
State-Changed-By: edwin
State-Changed-When: Wed Oct 8 10:08:53 UTC 2008
State-Changed-Why: 
Awaiting maintainers feedback (via the GNATS Auto Assign Tool)

http://www.freebsd.org/cgi/query-pr.cgi?pr=127938