more work on java visibility checks, this time for qualified refs+types