// TODO: optimize
svoid tok_processDontImports(LS tok, Set<S> defs) {
  S prefix = "dontImport_";
  for (S def : startingWithIC_navigableSubSet(prefix, defs)) {
    S def = dropPrefixIC(prefix, def);
    S cl = replace(def, "$$", ".");
    jreplace(tok, "import " + cl + ";", "");
  }
}