static void setKnowledgeHolder(bool yes) {
  saveTextFile(newFile(javaxDataDir(), "is-knowledge-holder"), yes ? "1" : null);
}