SafeParent.java

import org.checkerframework.checker.guieffect.qual.SafeEffect;

public class SafeParent {
    @SafeEffect
    void m() {}
}