178179180181182183184185186187188
} System.out.println(" -> cleaning up"); store = new FileStore(directory, 256, false); try { store.gc(); store.flush(); } finally { store.close(); }