add(BorderLayout.CENTER,split);
int dl=PreferencesForABProject.userNodeForABProject.getInt(AB_PANE_SPLITTER_REG_KEY,300);
dl=Math.max(dl, lc.getPreferredSize().width);
dl=Math.max(dl, buttonPane.getPreferredSize().width);
split.setDividerLocation(dl);
split.addPropertyChangeListener(JSplitPane.DIVIDER_LOCATION_PROPERTY,new PropertyChangeListener() {
public void propertyChange(PropertyChangeEvent e) {
try {
PreferencesForABProject.userNodeForABProject.putInt(nc, AB_PANE_SPLITTER_REG_KEY,
split.getDividerLocation());
} catch (Exception e1) {