if (!config.getPropertyAsBoolean("nogui", false)) {
// Setup control and other UI components
ControlUI control = new ControlUI();
registry.registerComponent("controlgui", control);
registry.registerComponent("stackchart", new StackUI(cpu));
HighlightSourceViewer sourceViewer = new HighlightSourceViewer();
// Add the firmware location to the search path
File fp = new File(firmwareFile).getParentFile();
if (fp != null) {
try {