code: public synchronized void removeRepositoryInfo(LogRepositoryManager manager) {
  		RepositoryInfo curRI = repositoryInfo.remove(manager);
  		if (curRI != null) {
  			curRI.setRespositorySpaceNeeded(0);
  		}
  	}
docs: remove a type from the array.  One use here would be if/when textLog is disabled
  or when repository location is changed
  @param repositoryType type of repository