});
this.jMenuItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_S, KeyEvent.CTRL_DOWN_MASK));
this.parameter.userInterface.addMenuItem(new AMenuItem(this.jMenuItem) {
public void update(Observable o, Object arg) {
if(arg instanceof AUIEvent) {
final AUIEvent event = (AUIEvent)arg;
switch (event.getType()) {
case DEF_CLOSE_PROGRAM: {
SearchPlugin.this.searchPanel.dispose();
break;
}
case DEF_OPEN_NEW_GRAPH: {