Shared/Java: Introduce a shared control flow reachability library and replace the Java Nullness implementation.

Shared/Java: Introduce a shared control flow reachability library and replace the Java Nullness implementation. #20405