Yes, you're right. I think these four files were modified by eclipse when renaming some variables.