public File serverdefs() { return new File(serverDB, "serverdefs"); }
@Test
    public void require_that_existing_def_files_are_copied() throws IOException {
        assertThat(serverDB.serverdefs().listFiles().length, is(0));
        createInitializer();
        assertThat(serverDB.serverdefs().listFiles().length, is(1));
    }