No idea about all these eclipse changes. They don’t seem to relate to the change and should be made in a different pull request, if at all needed.