filesDir = $files.getFilesDir()
file = $files.buildFile { |fileBuilder|
  fileBuilder.setPath(filesDir, "tmp/aaa.txt")
}
$console.log(file.getExtension())