aggregatedTimestamp.reset();
	public void clearRegistryCache() {		String[] keys = new String[] {TableReader.TABLE, TableReader.MAIN, TableReader.EXTRA, TableReader.CONTRIBUTIONS, TableReader.ORPHANS};		for (int i = 0; i < keys.length; i++)			try {				cacheStorageManager.remove(keys[i]);			} catch (IOException e) {				log(new Status(IStatus.ERROR, RegistryMessages.OWNER_NAME, IStatus.ERROR, RegistryMessages.meta_registryCacheReadProblems, e));			}	}