Repo for storing eclipse plugins