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