No nevím, ale tady podle mě nejde o polymorfismus. ArrayList není potomkem Listu, ale je to jeho implementace. Tady se jedná o oddělení rozhraní od implementace.
K tomu var bych řekl, že v javě se to tak prostě nepíše a nevidím důvod proč tam cpát každý jazykový konstrukt, který existuje jinde. Na platformě Java existují jazyky kde to tak psát jde(Scala, Groovy, Jython ...), tak komu to vadí ať použije je.