* test fully tests that method as JDBC failures would come from problems
* with the method mentioned above.
*/
public void testEnumerateDeviceNames() throws Exception {
TemporaryFileManager manager = new TemporaryFileManager(
new TestDeviceRepositoryCreator());
manager.executeWith(new TemporaryFileExecutor() {
public void execute(File file) throws Exception {
DeviceRepositoryFactory factory =
DeviceRepositoryFactory.getDefaultInstance();
URL deviceRepositoryUrl = file.toURL();