svoid addStickyLibrary(S libID) {
  Set<S> list = getCreatorOpt('markLibsSticky_list);
  if (list == null) addLibrary(libID);
  else {
    print("Adding sticky lib " + libID + " to creator");
    list.add(libID);
    callCreator('addLibrary, libID);
  }
}