private final String getLabel(final Label label) {
		String name = (String) labelNames.get(label);
		if (name == null) {
			name = Integer.toString(labelNames.size());
			labelNames.put(label, name);
		}
		return name;
	}