minor change to check out Git support in Eclipse