synchronized int[] getExtensionPointsFrom(long id) { KeyedElement tmp = newContributions.getByKey(new Long(id));
synchronized int[] getExtensionPointsFrom(String id) { KeyedElement tmp = newContributions.getByKey(id);
	synchronized int[] getExtensionPointsFrom(long id) {		KeyedElement tmp = newContributions.getByKey(new Long(id));		if (tmp == null)			tmp = getFormerContributions().getByKey(new Long(id));		if (tmp == null)			return EMPTY_INT_ARRAY;		return ((Contribution) tmp).getExtensionPoints();	}