public static void destroyWSandTypeDBs(DB mdb, String typedb) { destroyDB(mdb); destroyDB(mdb.getSisterDB(typedb)); }