eclipse core project settings pushed