public void require(XMLNodeType type, String name) throws IOException {
		if (mType == XMLNodeType.TEXT && type != XMLNodeType.TEXT && isWhitespace()) {
			next();
		}
		if (type != mType || name != null && !name.equals(getName())) {
			fail("expected: " + type.name() + "/" + name); //$NON-NLS-1$ //$NON-NLS-2$
		}
	}