[news.eclipse.tools.jdt] Multiple inheritance and covariance subtyping i

[Aurélien MOREAU <aurelien.moreau@xxxxxxxxxxxx>]

Hello,

IC.java:

interface IA {
	IA op();
}

interface IB {
	IB op();
}

public interface IC extends IA, IB {
	IC op();
}


These classes compile with eclipse and compiler compliance 
level 5.0 but don't compile with my sun jdk 1.5.0:

> javac -version IC.java
javac 1.5.0
IC.java:9: types IB and IA are incompatible; both define 
op(), but with unrelated return types
public interface IC extends IA, IB {
       ^
1error


Where could I find the jdt core specification about this 
feature ?

Thank you