public void addOption(IOption opt) {
		if (!(opt instanceof ITokenParser)) {
			throw new IllegalArgumentException(
					"Option must be an ITokenParser object");
		}
		optionDefinitions.put(opt.getName(), (ITokenParser) opt);
	}