old_JAVA_HOME    2171 maint/gnulib/lib/javacomp.c   char *old_JAVA_HOME;
old_JAVA_HOME    2287 maint/gnulib/lib/javacomp.c   old_JAVA_HOME = getenv ("JAVA_HOME");
old_JAVA_HOME    2288 maint/gnulib/lib/javacomp.c   if (old_JAVA_HOME != NULL)
old_JAVA_HOME    2290 maint/gnulib/lib/javacomp.c       old_JAVA_HOME = xstrdup (old_JAVA_HOME);
old_JAVA_HOME    2446 maint/gnulib/lib/javacomp.c   if (old_JAVA_HOME != NULL)
old_JAVA_HOME    2448 maint/gnulib/lib/javacomp.c       xsetenv ("JAVA_HOME", old_JAVA_HOME, 1);
old_JAVA_HOME    2449 maint/gnulib/lib/javacomp.c       free (old_JAVA_HOME);
old_JAVA_HOME      84 maint/gnulib/lib/javaexec.c   char *old_JAVA_HOME;
old_JAVA_HOME     192 maint/gnulib/lib/javaexec.c   old_JAVA_HOME = getenv ("JAVA_HOME");
old_JAVA_HOME     193 maint/gnulib/lib/javaexec.c   if (old_JAVA_HOME != NULL)
old_JAVA_HOME     195 maint/gnulib/lib/javaexec.c       old_JAVA_HOME = xstrdup (old_JAVA_HOME);
old_JAVA_HOME     430 maint/gnulib/lib/javaexec.c   if (old_JAVA_HOME != NULL)
old_JAVA_HOME     432 maint/gnulib/lib/javaexec.c       xsetenv ("JAVA_HOME", old_JAVA_HOME, 1);
old_JAVA_HOME     433 maint/gnulib/lib/javaexec.c       free (old_JAVA_HOME);