static String actualUserHome_value;
static String actualUserHome() {
  if (actualUserHome_value == null) {
    if (isAndroid())
      actualUserHome_value = "/storage/sdcard0/";
    else
      actualUserHome_value = System.getProperty("user.home");
  }
  ret actualUserHome_value;
}