public static void checkedAllAttributes(Element element, String[] labels) throws SyntaxException {
		for (String label : labels)
			if (!element.hasAttribute(label))
				throw new SyntaxException(String.format("Tag %s missing attribute %s.",
						element.getNodeName(), label));
		return;
	}