XEugenerabiter immutable keyword discassion
На мой взгляд было бы не плохо:)Если с такой аннотацией(или модификатором) компилятор будет просто требовать объявления всех полей как final, это будет только в первом приближении immutable. Состояние самих полей, если там ссылки на изменяемые объекты, может меняться. Впрочем, можно ещё требовать, чтобы классы, на инстансы которых ссылаются поля, тоже имели эту аннотацию/модификатор.Справедливости ради - ничего не мешает в аннотацию @Immutable добавить атрибут вроде requiredFieldsImmutability булевого типа со значением по-умолчанию false.
А вот модификатор immutable, как предлагают по той ссылке, не катит из-за отсутствия гибкости.