code: protected int getIntValue() {
  		if (label.equals(AbcTokens.DIGIT)
  				|| label.equals(AbcTokens.DIGITS)) {
  			try {
  				return Integer.parseInt(value);
  			} catch (NumberFormatException nfe) {
  				return -1;
  			}
  		}
  		else
  			return -1;
  	}
docs: Returns the value parsed into integer if label is DIGIT or DIGITS, else
  -1.