} if (_framework.isModified()) {
    private void exit() {        if (_framework.isRunning() && !_framework.stopPlugins()) {            if (_framework.isModified()) {                String[] status = _framework.getStatus();                int count = status.length;                String[] message = new String[count+2];                System.arraycopy(status, 0, message, 0, count);                message[count] = "";                message[count+1] = "Force data save anyway?";                int choice = JOptionPane.showOptionDialog(this, message, "Error - Plugins are busy", JOptionPane.YES_NO_OPTION, JOptionPane.ERROR_MESSAGE, null, null, null);                if (choice != JOptionPane.YES_OPTION) return;            }            try {                _framework.saveSessionData();            } catch (Exception e) {                int choice = JOptionPane.showOptionDialog(this, new String[] {"Error saving session!", e.toString(), "Quit anyway?"}, "Error!", JOptionPane.YES_NO_OPTION, JOptionPane.ERROR_MESSAGE, null, null, null);                if (choice != JOptionPane.YES_OPTION) return;            }        }        synchronized(_exit) {            _exit.notify();        }    }