This @SuppressWarnings("unchecked") is unnecessary
This @SuppressWarnings("unchecked") is unnecessary

unratito/ceylon.language,jvasileff/ceylon.language,lucaswerkmeister/ceylon.language,ceylon/ceylon.language,unratito/ceylon.language,ceylon/ceylon.language,jvasileff/ceylon.language,lucaswerkmeister/ceylon.language