MouseTest.java

import java.awt.event.MouseAdapter;
import java.awt.event.MouseEvent;
import org.checkerframework.checker.guieffect.qual.UIType;

// Test the stub file handling
@UIType
class MouseTest extends MouseAdapter {
    @Override
    public void mouseEntered(MouseEvent arg0) {
        IAsyncUITask t = null;
        t.doStuff();
    }
}