Lacking post conditions for "make field final"

[seyyedaliayati]

Java rules about final fields are:

• The blank final field length may not have been initialized
• When a variable is declared with final keyword, its value can’t be modified

[seyyedaliayati]

Refactoring file --> refactorings/make_field_final.py