protected void updateMaxOccur(int max) {
if (fMaxOccurSpinner == null) return;
boolean isMax = max == Integer.MAX_VALUE;
fUnboundSelect.setSelection(isMax);
fMaxOccurSpinner.setEnabled(!isMax);
if (!isMax) fMaxOccurSpinner.setSelection(max);
}
protected void updateMinOccur(int min) {
if (fMinOccurSpinner != null) fMinOccurSpinner.setSelection(min);
}