发现eclipse3.1的bug

今天发现一个eclipse的bug，关于继承的，代码是正确的，可是eclipse抛出了错误，代码如下，共有四个类

publicinterfaceBaseService...{}
publicinterfaceUserServiceextendsBaseService...{}
publicabstractclassBaseAction...{
protectedabstractBaseServicegetService();
}
publicclassUserActionextendsBaseAction...{
protectedUserServicegetService()...{
returnnull;
}
}

最后在eclipse中错误如下：

UserAction.java:The return type is incompatible with BaseAction.getService()

总结：这是关于继承的问题，子类覆盖了父类的方法，并且修改了方法返回值得类型，但是返回值是父类方法返回值类型的子类型，我们都知道这在java中是可以这样重载方法的，而且我也在命令行下编译了这段代码，证明是可以这样使用的。

注意:上文中eclipse的版本是3.1

//2007-5

现在发现这个是java5的新特性之一，标准术语是：Covariant Return Types（可协变的返回类型，按照core java中的中文译法，具体参见core java 7ed中的说明，中文版5.1.3小节【动态绑定】），所以上面文章的内容也是不妥的，这个问题与eclipse没有直接关系。