Sì... gli ArrayList non sono tipizzati:
codice:
ArrayList newExtensions = new ArrayList(extensions.length);
Ciao.