[jopr-dev] use the eclipse plugin?