java/java-tests/testData/inspection/emptyMethod/superWithoutSync/src/p2/Derived.java

package p2;
import p1;
public class Derived extends p1.Base {
  public synchronized void foo() {
     super.foo();
  }
}