UIElement.java

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

@UIType
public interface UIElement {
    public void dangerous();

    @SafeEffect
    public void repaint();

    @SafeEffect
    public void runOnUIThread(IAsyncUITask task);
}