repo for eclipse plugin