This line change was an accidental eclipse-ism based on its "observation"  that this value is never modified.
I could back out the "final" to leave it no worse than I found it, but eclipse does seem to have a point.
I don't know the history of this flag -- maybe it's obsolete? -- maybe it was never part of a real implementation?