Fix double increment problem reported in comment to bug
https://bugs.eclipse.org/bugs/show_bug.cgi?id=471541

Change-Id: Ib1f763a1d3fb6bbbdd31d6293aa7b0806b097fd6
1 file changed