Abstract Aware Type Check marked as deprecated, removed Redundant Throws Check, issue #473