public void refreshKids() throws IOException {
   for (OpenPath parent : mParents)
     for (OpenPath kid : parent.list()) if (!mKids.contains(kid)) mKids.add(kid);
   mDirty = false;
 }