Reports uninitialized final fields, and invalid assignments to final variables, parameters and fields.