static File hotKey_file(S code) {
  ret javaxDataDir(code + ".hotkey");
}