Java Static Reachability Example