Revert "fix #652: trigger eclipse to refresh the project after creating ignore files"

This reverts commit 53edba817a68b3d94babdeb879b47f98402c97f1.