javaexec_version 100 maint/gnulib/lib/javacomp.c java_version_cache = javaexec_version (); javaexec_version 33 maint/gnulib/lib/javaversion.h extern char * javaexec_version (void)