Pushing a change through Eclipse