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