another insignificant change to test push from eclipse egit plugin