Safety as a concept evolves, I would say Haskell-like is a good target to aim at today, for a safe language. For Java to become a safer language it would need

Safety as a concept evolves, I would say Haskell-like is a good target to aim at today, for a safe language. For Java to become a safer language it would need a better type system, and then to make backward-incompatible changes to standard libraries. Therefore, unlikely to ever happen.