fix #3350: update eclipse plugin installation