testing Eclipse Push/Pull