// TODO: optimize
svoid tok_processDontImports(LS tok, NavigableSet<S> defs) {
  print("tok_processDontImports");
  S prefix = "dontImport_";
  for (S def : startingWithIC/*_navigableSubSet*/(prefix, defs)) {
    def = dropPrefixIC(prefix, def);
    S cl = replace(def, "$$", ".");
    bool change = jreplace(tok, "import " + cl + ";", "");
    printVars tok_processDontImports(+def, +cl, +change);
  }
}