6714835: Safe cast is rejected (with warning) by javac

Rules for unchecked cast conversion do not take into account type-containment

Reviewed-by: jjg
4 files changed