public void finalize() {
this.setPreferredSize(new Dimension(this.getPreferredSize().width + 10, this.getPreferredSize().height + 10));
}
private JComboBox createDistinctCoBo(RetrieveDataWithProjectionAndSolutionModifier op) {
final Select operator = (Select) op;
// create new ComboBox...
final JComboBox distinctCoBo = new JComboBox(new String[] { "Distinct", "Reduced", "No Distinct" });
distinctCoBo.setFont(this.parent.getFONT());