checker/tests/guieffect/IFooUI.java

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

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