Suppress false positive unchecked cast warning