private int parseInt(String value) throws ParsingException {
		try {
			return Integer.parseInt(value);
		}
		catch (NumberFormatException ex) {
			throw new ParsingException("invalid number format '" + value + "'");
		}
	}