Github problems with eclipse

Had to put changes in manually.