Java, привязка статического метода и дженерики все свернуты с некоторой перегрузкой метода

так как название подразумевает, что мой вопрос немного странный и сложный. Я знаю, что я собираюсь сделать, нарушает все правила "хорошей" практики программирования, но эй, что такое жизнь, если мы не живем мало?

Итак, я создал следующую программу. (Не это было частью большего эксперимента, чтобы действительно попытаться понять дженерики, поэтому некоторые имена функций, возможно, немного не в порядке)

import java.util.*;

public class GenericTestsClean 
{
    public static void test2()
    {
        BigCage<Animal> animalCage=new BigCage<Animal>();
        BigCage<Dog> dogCage=new BigCage<Dog>();
        dogCage.add(new Dog());
        animalCage.add(new Cat());
        animalCage.add(new Dog());
        animalCage.printList(dogCage);
        animalCage.printList(animalCage);
    }


    public static void main(String [] args)
    {
        //What will this print
        System.out.println("nTest 2");
        test2();
    }

}

class BigCage<T> extends Cage<T>
{

    public static <U extends Dog> void printList(List<U> list)
    {
        System.out.println("*************"+list.getClass().toString());
        for(Object obj : list)
            System.out.println("BigCage: "+obj.getClass().toString());
    }

}
class Cage<T> extends ArrayList<T>
{
    public static void printList(List<?> list)
    {
        System.out.println("*************"+list.getClass().toString());
        for(Object obj : list)
            System.out.println("Cage: "+obj.getClass().toString());
    }
}

class Animal
{
}
class Dog extends Animal
{
}
class Cat extends Animal
{
}

теперь меня смущает то, что это прекрасно компилируется с javac 1.6.0_26 но когда я запускаю его, я получаю следующее исключение класса cast:

Test 2
*************class BigCage
BigCage: class Dog
*************class BigCage
Exception in thread "main" java.lang.ClassCastException: Cat cannot be cast to Dog
        at BigCage.printList(GenericTestsClean.java:31)
        at GenericTestsClean.test2(GenericTestsClean.java:13)
        at GenericTestsClean.main(GenericTestsClean.java:21)

ряд вещей, чтобы отметить здесь:

1. два списка печати являются не переопределение, но перегрузка друг друга, как ожидалось(они имеют разные типы, потому что общие типы их аргументов разные). Это можно проверить с помощью аннотации @Override
2. изменение void printList(List<?>) метод клетка класс чтобы быть нестатическим, генерирует соответствующую ошибку времени компиляции
3. изменение метода void <U extends Dog> printList(List<U>) на класс BigCage до void <U> printList(List<U>) выдает ошибку.
4. на main () вызов printList() до класс BigCage (ie BigCage.printList(...)) генерирует ту же ошибку выполнения
5. на main () вызов printList() до класс Кейдж!--20--> (клетки т. е..printList(...)) работает, как и ожидалось, только вызывая версию printList на клетка
6. если я скопирую определение printList(List<?>) to класс BigCage С клетка класс, который скроет определение в клетка класс, я получаю соответствующую ошибку компилятора

теперь, если бы мне пришлось сделать снимок в темноте о том, что здесь происходит, я бы сказал, что компилятор завинчивается потому что он работает в несколько этапов: Тип Проверки и Перегруженное Разрешение Метода. Во время фазы проверки типа мы проходим через оскорбительную линию, потому что класс BigCage унаследовала void printList(List<?>) С class Cage который будет соответствовать любому старому списку, который мы бросим на него, поэтому у нас есть метод, который будет работать. Однако, как только придет время решить с помощью метода, чтобы фактически вызвать у нас есть проблема из-за стирания типа, которое вызывает оба BigCage.printList и Cage.printList иметь точно такую же подпись. Это означает, что компилятор ищет соответствие для animalCage.printList(animalCage); он выберет первый метод, который он соответствует (и если мы предположим, что он начинается внизу с BigCage и работает его почему до объекта), он найдет void <U extends Dog> printList(List<U>) вместо правильного void printList(List<?>)

теперь мой настоящий вопрос: насколько я близок к истине? Это известная ошибка? Это вообще Жук? Я знаю, как обойти эту проблему, это скорее академическое вопрос.

* * EDIT**

как мало людей разместили ниже, этот код будет работать в Eclipse. Мой конкретный вопрос касается javac версии 1.6.0_26. Кроме того, я не конечно, если я полностью согласен с Eclipse в этом случае, хотя это работает, потому что добавление printList(List<?>) to BigCage будет результат в ошибке времени компиляции в Eclipse, и я не вижу причины, почему он должен работать, когда тот же метод наследуется стихами вручную добавлено (см.Примечание 6 выше).