// Do nothing.
}
});
initializeLogging();
this.addCursorOwningComponent(this);
this.addWindowListener(new MainFrameClosing(this));
// runConfigs = new ArrayList();
createTextArea();
this.setTitle(titleText);
JSplitPane splitPane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT);
Border emptyBorder = BorderFactory.createEmptyBorder(0, 0, 0, 0);