updates for new eclipse plugin