Ensures that local variables that never get their values changed, must be declared final.