public int getIdentifierId(String identifier) {
		if (identifierMap.get(identifier) == null) {
			identifierMap.put(identifier, identifierMap.size());
			identifiers.add(identifier);
		}
		return identifierMap.get(identifier);
	}