}
}
};
configurationMenu = new FlyScanMenu(menuItemActionListener, searchFieldKeyListener,
currentConfigMenuItemActionListener, new FlyScanFilter());
configurationMenu.setText("Configurations");
if (useMock) {
// Mock to load a config file without using the device
mockMenu = new JMenu("Mock");