recommit changes

Eclipse git-tool didn't push theirs in last attempt