static long makeAndroidTempDir_lastValue;

static File makeAndroidTempDir() {
  File dir = new File((File) call(androidContext, "getFilesDir"),
    ".javax/" + makeAndroidTempDir_newValue());
  dir.mkdirs();
  return dir;
}

static long makeAndroidTempDir_newValue() {
  long value;
  do
    value = System.currentTimeMillis();
  while (value == makeAndroidTempDir_lastValue);
  makeAndroidTempDir_lastValue = value;
  return value;
}