return result + 4;
return result;
	private int getTableHeightHint(Table table, int rows) {		if (table.getFont().equals(JFaceResources.getDefaultFont()))			table.setFont(JFaceResources.getDialogFont());		int result= table.getItemHeight() * rows;		if (table.getLinesVisible())			result+= table.getGridLineWidth() * (rows - 1);		// TODO adjustment might just work on windows		return result + 4;			}