public static void dropTable(String filename) { HashSet<Index> i = mapName2Index.get(filename); for (Index j : i) { dropIndex(j.indexName); } mapName2Index.remove(filename, i); }