Are there any java7-jdk providers other then openjdk-7-jdk?

[Joachim Zobel <jz-2013@heute-morgen.de>]

Hi.

There are none in wheezy, are there any outside of debian? ubuntu?
oracle?

(I found I can reduce complexity of my netbeans patch if I go straight
for openjdk-7-jdk instead of java7-jdk).

Sincerely,
Joachim