#1010.0: removed warning of -Xlint:unchecked