static File topInputsLogFile() {
  ret javaxDataDir("top-inputs.log");
}