with-Eclipse banner
Merge pull request #128 from PaulVI/patch-1

with-Eclipse banner