static S setJavaxDefaultProgram(S programID) {
  ret saveTextFile(javaxDataDir("default-program.txt"), programID);
}