with-Eclipse banner
Merge pull request #44 from PaulVI/patch-2

with-Eclipse banner