Added getOptions() to ObjectRepository.