How to prove String is immutable in Java