#3256 change the Eclipse auto-import with the right one