checker/tests/calledmethods/Parens.java - typetools/checker-framework - Git at Google

 public class Parens {
   public synchronized void incrementPushed(long[] pushed, int operationType) {
     // ++(pushed[operationType]);
   }
 }
	public class Parens {
	public synchronized void incrementPushed(long[] pushed, int operationType) {
	// ++(pushed[operationType]);
	}
	}