@Override
            public void widgetSelected(SelectionEvent e) {
                loadLibrary();
                openDiscreteModelMenuItem.setEnabled(true);
                openSignalsFileMenuItem.setEnabled(true);
            }