>[оверквотинг удален]
> class B1 extends A1 {
>    public String foo(){//тут кстати будет ошибка
>       return "bar";
>    }
> }
> Ну и наконец
> ((A)new A()).foo == ((A)new B()).foo
> ((A)new A()).foo() != ((A)new B()).foo()
> Короче если поля ведут себя так, как будто они не наследуются не
> вижу причин считать иначе

Ты либо глуп, либо упорот, либо жирнющий тролль.

Читай до просветления
http://docs.oracle.com/javase/specs/jls/se5.0/html/classes.h...