/jrt_plat/java_env_info_api/inc/
drwxr-xr-x [up]
-rw-r--r-- 2010-07-13 16:05 +0100 2312 javadomainpskeys.h
-rw-r--r-- 2010-07-13 16:05 +0100 1997 javaenvinfo.h