JSR14 prototype javac fails to reject the following incorrect program.

class C<A> { A id ( A x) { return x; } }
interface I<A> { A id(A x); }
class D extends C<String> implements I<Integer> {
    public String id(String x) { return x; }
    public Integer id(Integer x) { return x; }
}