Trying to get rid of robocode.home from git.
deleting spurious commit.