PR #178: update Eclipse profile.
PR #178: update Eclipse profile.

carrotsearch/randomizedtesting,carrotsearch/randomizedtesting,randomizedtesting/randomizedtesting,randomizedtesting/randomizedtesting,carrotsearch/randomizedtesting,carrotsearch/randomizedtesting,randomizedtesting/randomizedtesting,carrotsearch/randomizedtesting,randomizedtesting/randomizedtesting,randomizedtesting/randomizedtesting