static File stefansOS_backgroundFile() {
  ret javaxDataDir("os-background.txt");
}