Pb surcharge covariante

Bonjour,
Le code suivant compile sous eclipse, mais ne passe pas le compilo sun.
Quelqu'un sait-il si c'est correct ou pas?

public interface IA {}

public interface IB {}

public interface IAB extends IA, IB {}

public interface IAProvider {
IA get();
}

public interface IBProvider {
IB get();
}

public interface IABProvider extends IAProvider, IBProvider {
IAB get();
}

IABProvider.java:2: types IBProvider and IAProvider are incompatible; both
define get(), but with unrelated return types
public interface IABProvider extends IAProvider, IBProvider {
^
1 error

Il me semble que grâce à la surcharge cela devrait marcher D'ailleurs,

public class IABProvider implements IAProvider, IBProvider {
public IAB get() {return null;}
}

compile sans problème.