Fix eclipse plugin