if (preferredSize.y > area.height) {
if (preferredSize.y > area.height + table.getHeaderHeight()) {
		public void controlResized(ControlEvent e) {			Rectangle area = comp.getClientArea();			Point preferredSize = table.computeSize(SWT.DEFAULT, SWT.DEFAULT);			int width = area.width - 2*table.getBorderWidth();			if (preferredSize.y > area.height) {				// Subtract the scrollbar width from the total column width				// if a vertical scrollbar will be required				Point vBarSize = table.getVerticalBar().getSize();				width -= vBarSize.x;			}			Point oldSize = table.getSize();			if (oldSize.x > area.width) {				// table is getting smaller so make the columns 				// smaller first and then resize the table to				// match the client area width				column1.setWidth(width/3);				column2.setWidth(width - column1.getWidth());				table.setSize(area.width, area.height);			} else {				// table is getting bigger so make the table 				// bigger first and then make the columns wider				// to match the client area width				table.setSize(area.width, area.height);				column1.setWidth(width/3);				column2.setWidth(width - column1.getWidth());			}		}