checker/tests/guieffect/IAsyncUITask.java

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

@UIType
public interface IAsyncUITask {
  public void doStuff();
}