static S javaxDefaultProgram() {
  ret or2(trim(loadTextFile(javaxDataDir("default-program.txt"))), #1000825);
}