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