Różnice w auto-unboxingu pomiędzy Java 6 vs Java 7

Zauważyłem różnicę w zachowaniu automatycznego rozpakowywania pomiędzy Javą SE 6 i Javą SE 7. Zastanawiam się dlaczego tak jest, ponieważ nie mogę znaleźć żadnej dokumentacji zmian w tym zachowaniu między tymi dwoma wersjami.

Oto prosty przykład:

Object[] objs = new Object[2];
objs[0] = new Integer(5);
int myInt = (int)objs[0];

To dobrze kompiluje się z javac z Java SE 7. Jeśli jednak podam kompilatorowi argument "- source 1.6", w ostatniej linii pojawi się błąd:

inconvertible types
found   : java.lang.Object
required: int

Próbowałem pobrać Java SE 6 do kompilacji z natywną wersją 6 kompilator (bez opcji-source). Zgadza się i daje taki sam błąd jak powyżej.

Więc co daje? Z dalszych eksperymentów wydaje się, że unboxing w Javie 6 może rozpakowywać tylko wartości, które wyraźnie (w czasie kompilacji) są typu boxed. Na przykład działa to w obu wersjach:

Integer[] objs = new Integer[2];
objs[0] = new Integer(5);
int myInt = (int)objs[0];

Wygląda więc na to, że pomiędzy Javą 6 i 7 funkcja unboxingu została ulepszona tak, że mogła rzucać i rozpakowywać typy obiektów za jednym zamachem, nie wiedząc (w czasie kompilacji), że wartość właściwego typu pudełkowego. Jednak czytając specyfikację języka Java lub wpisy na blogu, które zostały napisane w czasie Java 7 wyszedł, nie widzę żadnej zmiany tej rzeczy, więc zastanawiam się, co to jest zmiana i jak ta "funkcja" się nazywa?

Tylko ciekawostka: ze względu na zmianę, możliwe jest uruchomienie" złych " unboxingów:

Object[] objs = new Float[2];
objs[0] = new Float(5);
int myInt = (int)objs[0];

To kompiluje dobrze, ale daje ClassCastException w czasie wykonywania.