checker/tests/stubparser-tainting/FakeOverrideRMid.java

public class FakeOverrideRMid extends FakeOverrideRSuper {}