Java Immutability Checker