Method dispose

src/main/java/gate/gui/MainFrame.java:5324–5327

()

    }

    public synchronized void dispose() {
      dying = true;
      notifyAll();
    }

    @Override
    public synchronized void run() {