Minor changes to 'Accumulators and Counters' section of Java API docs