6714835: Safe cast is rejected (with warning) by javac Rules for unchecked cast conversion do not take into account type-containment Reviewed-by: jjg