*/
DeviceRepositoryLocation getDeviceRepositoryLocation(
ConfigContext configContext)
throws ConfigurationException {
DevicesConfiguration devices = marinerConfig.getDevices();
RepositoryDeviceConfiguration srdc =
devices.getStandardDeviceRepository();
if (srdc != null) {
if (srdc instanceof JDBCRepositoryDeviceConfiguration) {
// JDBC devices - this object should probably be passed into
// the JDBC repository / JDBC device accessor directly.