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

public interface IFooUI {
    @UIEffect
    public void foo();
}